计算机科学 ›› 2015, Vol. 42 ›› Issue (3): 124-127.doi: 10.11896/j.issn.1002-137X.2015.03.025
谷青范,王国庆,张丽花,翟 鸣
GU Qing-fan, WANG Guo-qing, ZHANG Li-hua and ZHAI Ming
摘要: 针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为3个层次:应用操作层、功能层和资源层,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用Event-B语言对系统应用操作和功能层建模,实现对应用操作模式完备性的检查,利用AltaRica语言能够对系统的异常行为建模,实现对系统动态失效问题的分析。以飞机自动飞行控制系统为例,利用Event-B建模工具Rodin实现对应用操作模式的分析,借助基于AltaRica语言的SimFia工具对其安全性进行分析,结果验证了所提方法的有效性和实用性。
[1] Society of Automotive Engineers.ARP-4761:Aerospace Recommended Practice:Guidelines and Methods for Conducting the Safety Assessment[C]∥Process on Civil Airborne Systems and Equipment.1996 [2] Papadopoulos Y,McDermid J A.Hierarchically Performed Ha-zard Origin and Propagation Studies[C]∥Proceedings of SAFECOMP ’99,18th International Conference on Computer Safety,Reliability and Security.1999 [3] Joshi A,Miller S P,Heimdahl M P E.M ode Confusion Analysis of a Flight Guidance System Using Formal Methods[C]∥Proceedings of the 22st Digital Avionics Systems Conference (DASC’03).Indianapolis,Indiana,Oct.2003:12-16 [4] Description A.[2012-01-19].http://www.lix.polytechnique.fr/~rauzy/ [5] IEC 61508 Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems[S].http://zh.wikipedia.org/wiki/IEC-61508,1998 [6] Adeline R,et al.Toward a Methodology for The AltaRica Mo-delling of Multi-Physical Systems[C]∥European Conference on Safety and Reliability (ESREL).Taylor & Francis:Rhodes,Greece,2010 [7] Liu S,McDermid J A.A Model-Oriented Approach to SafetyAnalysis Using Fault Trees and a Support System[J].Journal of Systems and Software,1996,35(2):151-164 [8] Dotti F L,Iliasov A,Ribeiro L,et al.Modal Systems:Specification,Refinement and Realization[C]∥ Proceedings of the 11th International Conference on Formal Engineering Methods:Formal Methods and Software Engineering(ICFEM’09).2009:601-619 [9] Chaudemar J-C,Bensana E,Castel C.Christel Seguin AltaRica and Event-B Models for Operational Safety Analysis:Unmanned Aerial Vehicle Case Study.[2014-03-19].http://www.lix.polytechnique.fr/~rauzy/altarica/AltaRica.html/ [10] Troubitsyna E,Laibinis L.Fault Tolerance in a Layered Architecture:a General Specification Pattern in B[C]∥Proc.of the 2nd Int.Conference on SEFM.Beijing,IEEE,2004:346-355 [11] Abrial J R.The B-book:Assigning Program to Meanings[M].CUP,1996 [12] Gallier J H.Logic for Computer Science:Foundations of Automatic Theorem Proving[M].Publications Dover,1986 |
No related articles found! |
|