基于AADL模型的飞控软件安全性分析方法

2014 International Conference on Computational Intelligence and Communication Networks Pub Date : 2014-11-14 DOI:10.1109/CICN.2014.240

Zhang Tao, Yechun Jiang, Junda Ye, Cheng Jing, Huamin Qu

{"title":"基于AADL模型的飞控软件安全性分析方法","authors":"Zhang Tao, Yechun Jiang, Junda Ye, Cheng Jing, Huamin Qu","doi":"10.1109/CICN.2014.240","DOIUrl":null,"url":null,"abstract":"This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different hazardous levels with the extended Markov chain model. Finally, safety of entire flight control software system can be calculated according to AADL error states composition relation, which can avoid states explosion problem of Markov chain model.","PeriodicalId":6487,"journal":{"name":"2014 International Conference on Computational Intelligence and Communication Networks","volume":"38 3 1","pages":"1148-1152"},"PeriodicalIF":0.0000,"publicationDate":"2014-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"An AADL Model-Based Safety Analysis Method for Flight Control Software\",\"authors\":\"Zhang Tao, Yechun Jiang, Junda Ye, Cheng Jing, Huamin Qu\",\"doi\":\"10.1109/CICN.2014.240\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different hazardous levels with the extended Markov chain model. Finally, safety of entire flight control software system can be calculated according to AADL error states composition relation, which can avoid states explosion problem of Markov chain model.\",\"PeriodicalId\":6487,\"journal\":{\"name\":\"2014 International Conference on Computational Intelligence and Communication Networks\",\"volume\":\"38 3 1\",\"pages\":\"1148-1152\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 International Conference on Computational Intelligence and Communication Networks\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CICN.2014.240\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 International Conference on Computational Intelligence and Communication Networks","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CICN.2014.240","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

提出了一种基于模型的飞控软件安全性分析方法。首先，分别建立了飞控软件的AADL体系结构模型和误差模型;然后将飞控软件的AADL模型转化为扩展马尔可夫链模型。利用扩展马尔可夫链模型，计算软件构件在不同危险等级下的状态概率，从而对软件构件的安全性进行评价。最后，根据AADL误差状态组成关系计算整个飞控软件系统的安全性，避免了马尔可夫链模型的状态爆炸问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

An AADL Model-Based Safety Analysis Method for Flight Control Software

This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different hazardous levels with the extended Markov chain model. Finally, safety of entire flight control software system can be calculated according to AADL error states composition relation, which can avoid states explosion problem of Markov chain model.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 International Conference on Computational Intelligence and Communication Networks

自引率

0.00%

发文量