基于AADL的甲烷濃度監(jiān)測報(bào)警系統(tǒng)可靠性驗(yàn)證

【摘要】：結(jié)構(gòu)分析和設(shè)計(jì)語言AADL在嵌入式系統(tǒng)領(lǐng)域有著良好的應(yīng)用。為了保障煤礦安全系統(tǒng)軟件的質(zhì)量,選取甲烷濃度監(jiān)測報(bào)警系統(tǒng)的流延遲問題為例,提出了基于AADL的錯(cuò)誤模型附件的形式化軟件驗(yàn)證方法,列舉了不同端口產(chǎn)生流延遲的方式,闡釋了從模型建立、模型分析到模型修改的驗(yàn)證過程。為AADL在煤礦安全系統(tǒng)軟件驗(yàn)證方面的應(yīng)用奠定了基礎(chǔ)。 【作者單位】： 湖南科技職業(yè)學(xué)院;
【關(guān)鍵詞】： 甲烷濃度監(jiān)測報(bào)警系統(tǒng) 結(jié)構(gòu)分析與設(shè)計(jì)語言 流延遲
【分類號】：TD712.55;TP277
【正文快照】： 甲烷濃度的監(jiān)控在煤礦中有廣泛的應(yīng)用,它是煤礦安全生產(chǎn)的基礎(chǔ)。甲烷濃度監(jiān)測報(bào)警系統(tǒng)要求有較高的正確性和可靠性。如果在要求的時(shí)間內(nèi),系統(tǒng)無法完成規(guī)定的動(dòng)作,就可能會引發(fā)事故,甚至是災(zāi)難。但是,甲烷濃度監(jiān)測報(bào)警系統(tǒng)由多個(gè)組件構(gòu)成,各個(gè)組件之間有較為頻繁的交互、時(shí)序行

您可以在本站搜索以下學(xué)術(shù)論文文獻(xiàn)來了解更多相關(guān)內(nèi)容

基于AADL的軟件可靠性驗(yàn)證    譙婷婷;王樂;耶國棟;

基于AADL的車用嵌入式實(shí)時(shí)系統(tǒng)建模方法研究    楊陽

AADL在中斷控制系統(tǒng)建模中的應(yīng)用    任飛;譙婷婷;劉俊波;邵楊鋒;

AADL模型到廣義隨機(jī)Petri網(wǎng)的轉(zhuǎn)換工具    湯玥;蘇威;李蜀瑜;

基于UPPAAL的嵌入式系統(tǒng)AADL模型實(shí)時(shí)性驗(yàn)證    白海洋

基于AADL的嵌入式軟件形式化驗(yàn)證研究    吳育春

基于AADL的武器控制系統(tǒng)性能驗(yàn)證方法    許凌權(quán);馮金富;左偉;胡俊華;

基于AADL的機(jī)載設(shè)備系統(tǒng)可靠性建模    劉建軍;鐘珊;葉宏;

基于AADL的航空電子系統(tǒng)安全性分析    賈璐;胡林平;田丹;

結(jié)構(gòu)分析和設(shè)計(jì)語言AADL研究    王瀚博;周興社;董云衛(wèi);唐蕾;

基于UPPAAL的AADL模型可調(diào)度性驗(yàn)證    劉倩;桂盛霖;李允;羅蕾;

基于AADL的軟件開發(fā)技術(shù)研究    宋翠葉;杜承烈;李剛;

一種面向AADL架構(gòu)的模型測試方法    馮冰;楊志義;董云衛(wèi);馬春燕;

復(fù)雜嵌入式實(shí)時(shí)系統(tǒng)體系結(jié)構(gòu)設(shè)計(jì)與分析語言:AADL    楊志斌;皮磊;胡凱;顧宗華;馬殿富;

飛行管理系統(tǒng)AADL建模與分析    湯小明;蘇羅輝;宋科璞;

基于AADL的中斷控制設(shè)計(jì)方法    李振松;顧斌;

鋼絲繩受力監(jiān)測報(bào)警系統(tǒng)在大型火炬吊裝中的應(yīng)用    李凡起

催化重整裝置含氯氣體的監(jiān)測報(bào)警    汪樹清,蔡業(yè)彬,陳堂敏,劉衛(wèi)華,方子嚴(yán)

煤礦斜坡軌道運(yùn)輸監(jiān)測報(bào)警系統(tǒng)的研究與應(yīng)用    洪緒武;

礦井低氧監(jiān)測報(bào)警系統(tǒng)的研究與設(shè)計(jì)    鐘文峰;

基于軟冗余技術(shù)的輸油站監(jiān)測報(bào)警系統(tǒng)    于洋;郭威;于浩;

綜采工作面液壓系統(tǒng)乳化液工作狀態(tài)的監(jiān)測報(bào)警與控制    吳迪;滿在山;馬錢錢;馮偉;吳銳;

輸油管道泄露實(shí)時(shí)監(jiān)測報(bào)警系統(tǒng)    周明才

煤氣區(qū)域作業(yè)環(huán)境一氧化碳監(jiān)測報(bào)警系統(tǒng)    王光

煤礦主、副井絞車盤形閘間隙監(jiān)測報(bào)警系統(tǒng)的設(shè)計(jì)    黃鶴松;薛琳;鄭效田;鄭豐隆;

基于GPRS通訊的油井狀態(tài)監(jiān)測報(bào)警系統(tǒng)    袁碧波;

遙控站點(diǎn)監(jiān)測報(bào)警接口與業(yè)務(wù)邏輯實(shí)現(xiàn)    趙杰;

儲油罐原油溫度實(shí)時(shí)監(jiān)測報(bào)警系統(tǒng)的研制與開發(fā)    王明吉;張勇;劉洪濤;朱秀峰;曹文;

CC-link在機(jī)艙監(jiān)測報(bào)警系統(tǒng)中的應(yīng)用    陳意惠;蒲小蓮;桂如裕;

3G和互聯(lián)網(wǎng)技術(shù)的航標(biāo)智能化監(jiān)測報(bào)警系統(tǒng)    馮堅(jiān)強(qiáng);

節(jié)約組態(tài)軟件點(diǎn)數(shù)的方法研究    趙雋;戰(zhàn)興群;張炎華;

術(shù)中神經(jīng)監(jiān)測在脊髓手術(shù)中的應(yīng)用    林國中;王振宇;劉斌;

三進(jìn)監(jiān)測報(bào)警系統(tǒng)批量出口    記者 張銀炎

天津港首個(gè)“水面溢油監(jiān)測報(bào)警系統(tǒng)”投用    駐津記者 余峰　通訊員 侯晨光 宋江濤

天津港 首個(gè)“水面溢油監(jiān)測報(bào)警系統(tǒng)”投用    首席記者蔡立軍

務(wù)必安排專人做好災(zāi)情監(jiān)測報(bào)警工作    記者 原建軍實(shí)習(xí)生 張平

浙江欣亞監(jiān)測報(bào)警系統(tǒng)通過GL型式認(rèn)可    記者 甘豐錄

電梯遠(yuǎn)程監(jiān)測報(bào)警網(wǎng)絡(luò)管理系統(tǒng)的設(shè)計(jì)    陜西 都曉光 馮剛 賈濤

機(jī)艙監(jiān)測報(bào)警系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)    蔣理

船舶機(jī)艙監(jiān)測報(bào)警系統(tǒng)的研究    馬馳譽(yù)

某船舶機(jī)艙監(jiān)測報(bào)警系統(tǒng)改造與實(shí)現(xiàn)    薛彬

新型船用機(jī)艙監(jiān)測報(bào)警系統(tǒng)研究與設(shè)計(jì)    衣斌斌

船舶機(jī)艙監(jiān)測報(bào)警系統(tǒng)的研究與設(shè)計(jì)    雍強(qiáng)

輸油管道泄漏實(shí)時(shí)監(jiān)測報(bào)警系統(tǒng)的研究與開發(fā)    史有剛

某綜試艦損管及火災(zāi)監(jiān)報(bào)系統(tǒng)的設(shè)計(jì)開發(fā)研究    趙鵬飛

基于熒光光譜法港口近距溢油監(jiān)測報(bào)警系統(tǒng)    陳虹宇

礦井電機(jī)車行人監(jiān)測報(bào)警系統(tǒng)的研究    符秋杰

基于CAN總線冗余的機(jī)艙監(jiān)測報(bào)警系統(tǒng)研制    周耀