Computer Science ›› 2015, Vol. 42 ›› Issue (3): 124-127.doi: 10.11896/j.issn.1002-137X.2015.03.025
Previous Articles Next Articles
GU Qing-fan, WANG Guo-qing, ZHANG Li-hua and ZHAI Ming
[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! |
|