参考文献
[1]Prisaznuk P.ARINC 653 Role in Integrated Modular Avionics(IMA)[C]//Proceedings of the 27th IEEE/AIAA Digital Avionics Systems Conference.Washington D.C.,USA:IEEE Press,2008:5-10.
[2]Bieber P,Noulard E,Pagetti C,et al.Preliminary Design of Future Reconfigurable IMA Platforms[J].ACM Sigbed Review,2009,6(3):1-5.
[3]Boniol F.New Challenges for Future Avionic Architec-tures[M]//Abdelmalek A,Aitmo,Ladjel B.Modeling Approaches and Algorithms for Advanced Computer Applications.Berlin,Germany:Springer-Verlag,2013:1-2.
[4]郑朝辉,陈新中,张晓先.综合模块化航空电子系统的可靠性设计[J].计算机工程,2009,35(23):272-273,277.
[5]Strunk E A,Knight J C.Dependability Through Assured Reconfiguration in Embedded System Software[J].IEEE Transactions on Dependable & Secure Computing,2006,3(3):172-187.
[6]覃杨森,董云卫.基于模态的嵌入式软件动态重构技术研究[J].计算机科学,2012,39(2):175-178.
[7]Strunk E A,Knight J C.Assured Reconfiguration of Embedded Real-time Software[C]//Proceedings of International Conference on Dependable Systems and Networks.Washington D.C.,USA:IEEE Press,2004:367-376.
[8]Feiler P,Gluch D,Hudak J.The Architecture Analysis & Design Language (AADL):An Introduction[J].The Architecture Analysis & Design Language(AADL):An Introduction-research Gate,2006,2(2):45-50.
(下转第160页)
(上接第155页)
[9]袁崇义.Petri网原理[M].北京:电子工业出版社,1998.
[10]Murata T.Petri Nets:Properties,Analysis and Applica-tions[J].Proceedings of the IEEE,1989,77(4):541-580.
[11]Bechta D J,Venkataraman B,Gulati R.DIFtree:A Software Package for the Analysis of Dynamic Fault Tree Models[C]//Proceedings of IEEE Reliability and Maintainability Symposium.Washington D.C.,USA:IEEE Press,1997:64-70.
[12]Tanaka H,Fan L T,Lai F S,et al.Fault-tree Analysis by Fuzzy Probability[J].IEEE Transactions on Reliability,1983,32(5):453-457.
[13]熊家军,李庆华.信息熵理论与入侵检测聚类问题研究[J].小型微型计算机系统,2005,26(7):1163-1166.
[14]Deavours D,Sanders W H,William H S.“On-the-Fly” Solution Techniques for Stochastic Petri Nets and Exten-sions[J].IEEE Transactions on Software Engineering,1997,24(10):132-141.
[15]罗鹏程.基于Petri网的系统安全性建模与分析技术研究[D].长沙:国防科学技术大学,2001.
[16]Leveson N G,Stolzy J L.Safety Analysis Using Petri Nets[J].IEEE Transactions on Software Engineering,1987,13(3):386-397.
编辑刘冰
|