[1] LUTZ R R.Analyzing software requirements errors in safety-critical,embedded systems[C]//Proceedings of IEEE International Symposium on Requirements Engineering.Washington D.C.,USA:IEEE Press,2002:126-133. [2] SAI global.Avionics application software standard interface:ARINC-653[S].AEEC,1996:1-29. [3] RUSHBY J.Partitioning in avionics architectures:require-ments,mechanisms,and assurance:NASA/CR-1999-209347[R].Menlo Park,USA:SRI International,1999:34. [4] HERDER J,HERBERT B.MINIX 3:a highly reliable,self-repairing operating system[J].ACM SIGOPS Operating Systems Review,2006,40(3):80-89. [5] HUNT G,LARUS J.Singularity:rethinking the software stack[J].ACM SIGOPS Operating Systems Review,2007,41(2):37-49. [6] KLEIN G,ELPHINSTONE K,HEISER G,et al.SeL4:formal verification of an OS kernel[C]//Proceedings of ACM Symposium on Operating Systems Principles.New York,USA:ACM Press,2009:207-220. [7] GU Ronghui,SHAO Zhong,CHEN Hao.CertiKOS:an extensible architecture for building certified concurrent OS kernels[C]//Proceedings of the 12th USENIX Symposium on Operation Systems Design and Imple-mentation.Savannah,USA:[s.n.],2016:653-669. [8] WAHBE R,LUCCO S.Efficient software-based fault isolation[C]//Proceedings of Symposium on Operating Systems Principles.New York,USA:ACM Press,1994:87-94. [9] SEHR D,MUTH R.Adapting software fault isolation to contemporary CPU architectures[C]//Proceedings of the 19th USENIX Conference on Security.Berkeley,USA:USENIX Association,2010:1-12. [10] AIKEN M,FÄHNDRICH M.Decontructing process isolation[C]//Proceedings of 2006 Workshop on Memory System Performance and Correctness.New York,USA:ACM Press,2006:1-10. [11] SOLER M,CRESPO A,MASMANO M,et al.Cache management techniques for time isolation in partitioned systems[C]//Proceedings of DASIA'12.Washington D.C.,USA:IEEE Press,2012:14-16. [12] 于东,秦承刚,吴文江,等.一种实时操作系统的性能评估方法:CN201010580325.3[P].2010-12-09. [13] 林鹤,李均,朱怡安.基于μC/OS-Ⅱ的高可靠嵌入式操作系统的设计与实现[D].西安:西北工业大学,2016. [14] 朱怡安,魏润之,苏世游.一种基于μC/OS-Ⅱ符合OSEK标准的实时系统内核设计[J].计算机科学,2016,43(4):173-176. [15] 郭景,陈贤富.一种符合OSEK标准的操作系统微内核设计[J].微电子学与计算机,2017(11):16-22. |