亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        城市軌道交通信號(hào)控制系統(tǒng)軟件安全完整性自動(dòng)化測(cè)試方法研究

        2019-07-20 03:15:22
        建材發(fā)展導(dǎo)向 2019年21期
        關(guān)鍵詞:檢測(cè)系統(tǒng)

        陳 浩

        (哈爾濱地鐵集團(tuán)運(yùn)營(yíng)分公司,黑龍江 哈爾濱 150000)

        1 城市軌道交通信號(hào)系統(tǒng)的發(fā)展和應(yīng)用狀況

        首個(gè)開始使用基于通信技術(shù)的列車自動(dòng)控制系統(tǒng)的國(guó)家的加拿大,坐落于溫哥華的天車是第一個(gè),開始于20 世紀(jì)80年代,基于通信的列車控制系統(tǒng)英文縮寫為CBTC,一經(jīng)投入運(yùn)營(yíng)就取得良好的效果,這種系統(tǒng)能夠?qū)B續(xù)的列車進(jìn)行控制,能夠高精度定位,通過“目標(biāo)距離”的確定,縮短列車間隔距離,并且它的電路是可以獨(dú)立于軌道的,能夠安全地進(jìn)行信號(hào)控制的工作,這個(gè)工作由車載及軌道旁邊的處理器作用就能夠?qū)崿F(xiàn)。從20 世紀(jì)開始,各個(gè)國(guó)家就開始注重CBTC 在其他方面的應(yīng)用,尤其是在城市軌道交通建設(shè)上的應(yīng)用。CBTC 具有許多的優(yōu)點(diǎn),這種設(shè)備是一種自動(dòng)化程度較高的系統(tǒng),軌道旁邊安置的設(shè)備較少,能夠安全可靠的進(jìn)行列車的自動(dòng)控制。

        2 安全完整性等級(jí)

        安全完整性與安全完整性等級(jí)為安全相關(guān)系統(tǒng)設(shè)計(jì)、研發(fā)與評(píng)估的重要憑據(jù)。安全完整性代表的是一個(gè)安全有關(guān)系統(tǒng)落實(shí)所規(guī)定安全功能對(duì)應(yīng)的能力水平。安全完整性等級(jí)是通過定性方法去表示安全完整性的離散程度。結(jié)合安全功能的失效頻次可以細(xì)化為4 個(gè)等級(jí),其中等級(jí)越高提示對(duì)安全完整性提出的要求越高,而不同的等級(jí)對(duì)系統(tǒng)提出的技術(shù)要求也存在差異。若設(shè)定的等級(jí)過高,則與之相對(duì)應(yīng)的技術(shù)條件就更具復(fù)雜性,成本也會(huì)相應(yīng)增加。

        3 安全完整性級(jí)別的設(shè)定

        在設(shè)定安全完整性等級(jí)過程中,對(duì)系統(tǒng)風(fēng)險(xiǎn)分析過程體現(xiàn)出較高依賴性。站在系統(tǒng)安全生命周期的視域分析,結(jié)合系統(tǒng)風(fēng)險(xiǎn)下降的機(jī)理,解析系統(tǒng)初始風(fēng)險(xiǎn)與加入安全有關(guān)系統(tǒng)后期許實(shí)現(xiàn)的安全目標(biāo),進(jìn)而設(shè)定安全有關(guān)系統(tǒng)的安全完整性等級(jí)。

        4 軟件安全完整性集成自動(dòng)化測(cè)試平臺(tái)

        為保證各類檢測(cè)均能再次應(yīng)用,本文提出采用一種集成自動(dòng)化測(cè)試方法建設(shè)自動(dòng)化測(cè)試平臺(tái),其嚴(yán)格遵循軟件規(guī)范化的研發(fā)進(jìn)程,以各種測(cè)試為媒介,進(jìn)而迎合被測(cè)軟件對(duì)安全完整性提出的要求。

        4.1 自動(dòng)化測(cè)試集成環(huán)境架構(gòu)

        過往文獻(xiàn)資料中體積的自動(dòng)化檢測(cè)方法大部分只是論述概念、解析內(nèi)涵,但是針對(duì)業(yè)內(nèi)自動(dòng)化測(cè)試的達(dá)成及實(shí)施方法、檢驗(yàn)功能的準(zhǔn)確與否、通過怎樣的途徑能實(shí)現(xiàn)對(duì)各個(gè)子系統(tǒng)“安全完整性”檢測(cè)等為主,均未涉及?;诖?,筆者勾畫了自動(dòng)化測(cè)試集成環(huán)境整體架構(gòu)的參照?qǐng)D(見圖1)。

        4.2 子模塊功能

        1) 情景庫(kù):其負(fù)責(zé)存管、維護(hù)不同檢測(cè)情景與智能化腳本,進(jìn)而為回歸檢測(cè)過程創(chuàng)造便利條件。應(yīng)結(jié)合系統(tǒng)、子系統(tǒng)的運(yùn)行需求定義情景,并依次為基礎(chǔ)規(guī)劃出具體用例,且利用文檔將以上三者形成的關(guān)系以文字為載體記錄下來,盡量維持被測(cè)用例的可追溯性與符合檢測(cè)需求的覆蓋審查條件。

        2) 仿真引擎:其負(fù)責(zé)原始化軟件層次集成主機(jī)輸送、解讀智能化檢測(cè)腳本,并結(jié)合解析后的檢測(cè)腳本,對(duì)各個(gè)子系統(tǒng)形成驅(qū)動(dòng)作用并和函數(shù)相接,對(duì)應(yīng)用周期形成良好的調(diào)控作用,促進(jìn)其依照模擬時(shí)鐘運(yùn)行。

        圖1 自動(dòng)化測(cè)試集成環(huán)境架構(gòu)參照?qǐng)D

        3) 軟件層次集成主機(jī):該主機(jī)是以LINUS 操作系統(tǒng)為基礎(chǔ)開發(fā)的,并在現(xiàn)實(shí)自系統(tǒng)源代碼支撐下編譯處應(yīng)用流程。ZC 與VOBC 子系統(tǒng)現(xiàn)實(shí)代碼均被存儲(chǔ)在主機(jī)內(nèi)并和支持庫(kù)銜接,被編譯成為差異性的應(yīng)用進(jìn)程,彼此間能進(jìn)行信息互動(dòng)。環(huán)境模擬器的職責(zé)是擬化信號(hào)機(jī)、道岔等軌旁設(shè)備接口。在以太網(wǎng)模擬器的支撐下,不同進(jìn)程之間的信息互通互通擁有了底層通用模塊,且能擬化訊息傳遞延遲、通信終端設(shè)備等在實(shí)驗(yàn)室現(xiàn)實(shí)場(chǎng)景中難以進(jìn)行檢測(cè)的情況。

        4) 司機(jī)操作界面:其功能是對(duì)外呈現(xiàn)出各類車輛的運(yùn)轉(zhuǎn)狀態(tài),常見的有現(xiàn)實(shí)轉(zhuǎn)速、駕駛模式、預(yù)警等信息。也可以將其作為人工操作的界面,能對(duì)人工模式、步入自動(dòng)模式等性質(zhì)制止,情景庫(kù)內(nèi)的腳本觸發(fā)能傳遞出指令。

        5) ATS(列車自動(dòng)監(jiān)控) 仿真子系統(tǒng):功能以對(duì)外提供運(yùn)營(yíng)時(shí)刻表為主,進(jìn)而呈現(xiàn)出系統(tǒng)的整體運(yùn)轉(zhuǎn)狀況、軌旁計(jì)軸設(shè)備占用狀態(tài)、道岔范圍等多種信息;同時(shí)詳細(xì)錄入與操作過程相關(guān)的信息,特殊情況下能進(jìn)行回放查看。

        6) 子系統(tǒng)仿真代理接口:其是獲得安全軟件內(nèi)數(shù)據(jù)信息的重要“媒介”,能記錄軟件正常運(yùn)行狀態(tài)下的各類屬性、變量信息、狀態(tài)機(jī)的工況、代碼實(shí)施渠道等。

        4.3 列車自動(dòng)防護(hù)子系統(tǒng)

        集中控制系統(tǒng)的控制中心具有傳輸數(shù)據(jù)類型繁多與作業(yè)量大,故而在很大程度上會(huì)對(duì)傳輸精確度與安全性形成負(fù)面影響。為有效扭轉(zhuǎn)以上狀況,本平臺(tái)上增設(shè)了列車自動(dòng)防護(hù)(ATP) 子系統(tǒng)。但ATP 系統(tǒng)在應(yīng)用過程中會(huì)增加控制系統(tǒng)的成本,故而在工程設(shè)計(jì)郭恒中需綜合分析多種因素,以進(jìn)一步保證投資行為的合理性。

        5 結(jié)語

        實(shí)踐證明,自動(dòng)化檢測(cè)的合理導(dǎo)入,能協(xié)助軟件測(cè)試人員明顯減輕工作壓力,提升效率,有益于保證測(cè)試完整性、覆蓋率,有廣袤的使用空間。

        猜你喜歡
        檢測(cè)系統(tǒng)
        Smartflower POP 一體式光伏系統(tǒng)
        “不等式”檢測(cè)題
        “一元一次不等式”檢測(cè)題
        “一元一次不等式組”檢測(cè)題
        WJ-700無人機(jī)系統(tǒng)
        “幾何圖形”檢測(cè)題
        “角”檢測(cè)題
        ZC系列無人機(jī)遙感系統(tǒng)
        基于PowerPC+FPGA顯示系統(tǒng)
        半沸制皂系統(tǒng)(下)
        成年女人永久免费看片| 精品一二三四区中文字幕 | 天天噜日日噜狠狠噜免费| 18级成人毛片免费观看| 国产欧美久久久精品影院| 蜜桃视频在线在线观看| 精品av熟女一区二区偷窥海滩 | 国产在线播放一区二区不卡| 国产农村妇女毛片精品久久| 国产精品无码一区二区在线国| 日本一区二区在线播放观看| 国产婷婷丁香五月麻豆| 丝袜美女美腿一区二区| 在线观看视频日本一区二区| 老少配老妇老熟女中文普通话| 午夜婷婷国产麻豆精品| 亚洲色图在线视频观看| 漂亮人妻被强了完整版| 无码人妻av一二区二区三区 | 久久久久久久97| 大香视频伊人精品75| 国产精品亚洲一区二区三区正片 | 四虎影视久久久免费| 中文字幕日韩精品中文字幕| 国产精品无码一区二区三级| 久久精品国产亚洲一区二区| 高潮喷水无遮挡毛片视频| 久久日本视频在线观看| 免费看av在线网站网址| 国内精品一区视频在线播放| 中文字幕一区二区三区四区久久 | 91羞射短视频在线观看| 免费无码又爽又高潮视频| 女同久久精品国产99国产精品| 亚洲一区二区免费日韩| av中国av一区二区三区av| 欧美最大胆的西西人体44| 久久福利青草精品资源| 性感熟妇被我玩弄到高潮| 东京热无码av一区二区| 久久夜色撩人精品国产小说|