一种航空电子系统体系结构错误行为验证方法
|
摘要
针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。
To ensure the correctness of component failure effects and analysis in avionics system safety assessment, a dynamic approach of system architecture error behavior description and verification is proposed based on model. Firstly, the architecture models are established according to system functional requirements and safety objectives. Then, the error model annex is used to describe the error behavior and failure effects for components. The hierarchical automata are used as the intermediate state, and the formal description of the architecture error behavior model is realized by the transformation algorithm. Finally, the correctness of safety requirements is verified by model checking. Case studies are presented to show that this method can verify whether the designed component error effect and response measures meet the safety objectives of the system, and improve the accuracy and efficiency of safety assessment.
To ensure the correctness of component failure effects and analysis in avionics system safety assessment, a dynamic approach of system architecture error behavior description and verification is proposed based on model. Firstly, the architecture models are established according to system functional requirements and safety objectives. Then, the error model annex is used to describe the error behavior and failure effects for components. The hierarchical automata are used as the intermediate state, and the formal description of the architecture error behavior model is realized by the transformation algorithm. Finally, the correctness of safety requirements is verified by model checking. Case studies are presented to show that this method can verify whether the designed component error effect and response measures meet the safety objectives of the system, and improve the accuracy and efficiency of safety assessment.
引文
[1] WANG H L,ZHAO T D,REN F C,et al.Integrated modular avionics system safety analysis based on model checking[C]//Reliability and Maintainability Symposium.IEEE,Orlando,2017:1-6.
[2] Society of Automotive Engineers.ARP4761 Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[S].Warrendale:Society of Automotive Engineers,1996.
[3] EUGENE B,VYACHESLAV K,KOSTIANTYN L,et al.Reliability assessment of safety critical system considering different communication architectures[C]//2018 IEEE 9th International Conference on Dependable Systems,Services and Technologies.IEEE,Kiev,2018:17-20.
[4] BITTNER B,BOZZANO M,CAVADA R,et al.The xSAP safety analysis platform[C]//International Conference on Tools & Algorithms for the Construction & Analysis of Systems.Springer,Berlin,2016:533-539.
[5] NARY S,JANUSZ Z.Quantitative assessment of safety and security of system architectures for cyber physical systems using the NFR approach[J].IEEE Systems Journal,2016,10(2):397-409.
[6] MHENNI F,NGUYEN N,CHOLEY J Y.SafeSysE:A safety analysis integration in systems engineering approach[J].IEEE Systems Journal,2018,12(1):161-172.
[7] PRIMA F,NIDI A R,LUSI S,et al.Safety analysis at weaving department of PT.X Bogor using failure mode and effect analysis (FMEA) and fault tree analysis (FTA)[C]//2018 5th International Conference on Industrial Engineering and Applications.IEEE,Singapore,2018:382-385.
[8] YUTTHANA Y,TEERAWAT T.Reliability modeling for automatic operation mode of FSWO and FSWB system[C]//2017 3rd International Conference on Control,Automation and Robotics (ICCAR).IEEE,Nagoya,2017:487-490.
[9] ALEX R,KRISTIN G,BRYAN O.Systems architecture in failure analysis (applications of architecture modeling to system failure analysis)[C]//2017 12th System of Systems Engineering Conference (SoSE).IEEE,Waikoloa,2017:1-6.
[10] JAMAL E H,TAREK A K,VANEA C,et al.A model driven method to design and analyze secure architectures of systems-of-systems[C]//2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).IEEE,Fukuoka,2017:166-169.
[11] 张森,邓磊,吴健,等.一种基于MDA的分布式对象模型框架代码生成方法[J].西北工业大学学报,2014,32(1):49-54.
[12] 王飞,杨志斌,黄志球,等.基于限定自然语言需求模板的AADL模型生成方法[J].软件学报,2018,29(8):2350-2370.
[13] 李东民,李静,林华锋.基于故障树分析的嵌入式系统AADL模型可靠性分析方法[J].计算机科学,2017,44(6):182-188.
[14] 杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915.
[15] JULIEN D,PETER F.Architecture fault modeling with the AADL error-model annex[C]//40th EUROMICRO Conference on Software Engineering and Advanced Applications.IEEE,Verona,2014:361-368.
[16] 王鹏,刘锐,刘万和,等.综合模块化航空电子系统可靠性评估方法研究[J].电光与控制,2015,22(10):57-61.
[17] 成静,朱怡安,屈华敏.一种基于AADL 错误模型的软件安全性分析技术研究[J].西北工业大学学报,2014,32(6):1007-1010.
[18] 秦茂源,慕德俊,胡伟,等.硬件安全门级细粒度形式化验证方法[J].西安电子科技大学学报,2018,45(5):143-148.
[19] 李梦君,潘国腾,欧国东.基于Event-B方法的安全协议设计、建模与验证[J].软件学报,2018,29(11):3400-3411.
[2] Society of Automotive Engineers.ARP4761 Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment[S].Warrendale:Society of Automotive Engineers,1996.
[3] EUGENE B,VYACHESLAV K,KOSTIANTYN L,et al.Reliability assessment of safety critical system considering different communication architectures[C]//2018 IEEE 9th International Conference on Dependable Systems,Services and Technologies.IEEE,Kiev,2018:17-20.
[4] BITTNER B,BOZZANO M,CAVADA R,et al.The xSAP safety analysis platform[C]//International Conference on Tools & Algorithms for the Construction & Analysis of Systems.Springer,Berlin,2016:533-539.
[5] NARY S,JANUSZ Z.Quantitative assessment of safety and security of system architectures for cyber physical systems using the NFR approach[J].IEEE Systems Journal,2016,10(2):397-409.
[6] MHENNI F,NGUYEN N,CHOLEY J Y.SafeSysE:A safety analysis integration in systems engineering approach[J].IEEE Systems Journal,2018,12(1):161-172.
[7] PRIMA F,NIDI A R,LUSI S,et al.Safety analysis at weaving department of PT.X Bogor using failure mode and effect analysis (FMEA) and fault tree analysis (FTA)[C]//2018 5th International Conference on Industrial Engineering and Applications.IEEE,Singapore,2018:382-385.
[8] YUTTHANA Y,TEERAWAT T.Reliability modeling for automatic operation mode of FSWO and FSWB system[C]//2017 3rd International Conference on Control,Automation and Robotics (ICCAR).IEEE,Nagoya,2017:487-490.
[9] ALEX R,KRISTIN G,BRYAN O.Systems architecture in failure analysis (applications of architecture modeling to system failure analysis)[C]//2017 12th System of Systems Engineering Conference (SoSE).IEEE,Waikoloa,2017:1-6.
[10] JAMAL E H,TAREK A K,VANEA C,et al.A model driven method to design and analyze secure architectures of systems-of-systems[C]//2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).IEEE,Fukuoka,2017:166-169.
[11] 张森,邓磊,吴健,等.一种基于MDA的分布式对象模型框架代码生成方法[J].西北工业大学学报,2014,32(1):49-54.
[12] 王飞,杨志斌,黄志球,等.基于限定自然语言需求模板的AADL模型生成方法[J].软件学报,2018,29(8):2350-2370.
[13] 李东民,李静,林华锋.基于故障树分析的嵌入式系统AADL模型可靠性分析方法[J].计算机科学,2017,44(6):182-188.
[14] 杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915.
[15] JULIEN D,PETER F.Architecture fault modeling with the AADL error-model annex[C]//40th EUROMICRO Conference on Software Engineering and Advanced Applications.IEEE,Verona,2014:361-368.
[16] 王鹏,刘锐,刘万和,等.综合模块化航空电子系统可靠性评估方法研究[J].电光与控制,2015,22(10):57-61.
[17] 成静,朱怡安,屈华敏.一种基于AADL 错误模型的软件安全性分析技术研究[J].西北工业大学学报,2014,32(6):1007-1010.
[18] 秦茂源,慕德俊,胡伟,等.硬件安全门级细粒度形式化验证方法[J].西安电子科技大学学报,2018,45(5):143-148.
[19] 李梦君,潘国腾,欧国东.基于Event-B方法的安全协议设计、建模与验证[J].软件学报,2018,29(11):3400-3411.