标题：
Modeling and Analysis of IMA Inter-partition Communication Safety Requirement Based on STPA
点击次数：
所属单位：
计算机科学与技术学院/人工智能学院/软件学院
发表刊物：
PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017)
关键字：
STPA inter-partition communication safety analysis four-variable model
摘要：
Integrated Modular Avionics (IMA) have many advantages, but the characteristics of resource sharing and interaction have brought great challenges to the safety analysis, the traditional safety analysis methods cannot fully capture the safety requirements of IMA, and also not good at analysis and validation for requirements based on formal method. In view of these shortcomings, and based on the system theory process analysis method, we take IMA inter-partition communication as an example object, find out the control and feedback action in the process of inter-partition communication, then construct the control structure model of the inter-partition communication, and derive the unsafe control action, safety constraint and cause. Based on the four-variable model, we establish a formal model of the safety requirements, and use the formal method to analyze and validate the safety requirements rigorously. Through the case study, a feasible safety analysis method is established for the IMA system with resource sharing and complex interaction characteristics.
ISSN号：
2327-0594
是否译文：
否
发表时间：
2017-01-01
合写作者：
Wang, Yuanyuan,朱,周瑛
通讯作者：
王立松
发表时间：
2017-01-01
学位：工学博士学位
职称：教授
所在单位：计算机科学与技术/人工智能学院，公共实验教学部