|
[1]
|
|
Vance Hilderman, Tony Baghai. Avionics Certification: A Complete Guide to DO-178B(Software),DO-254(Hardware)[Z]. Avionics Communications Inc., 2007.
|
[2] |
Tang Xiaoming, Zhu Zhiqiang, Chen Nong. A safety critical operating system towards partitioning arichecture[C]// Proceedings of International Conference on Pacific Asian Aviation and Aerospace. 2010.
|
[3] |
Tang Xiaoming, Zhao Yuting, Li Yinjuan, et al. A strongly partitioned operating system model for data link networks[C]// Proceedings of the 5th International Conference on Wireless Algorithms, Systems, and Applications. 2010:274-281.
|
[4] |
Tang Xiaoming, Zhang Xinguo. Timing analysis of safety critiacl operating system FCOS[C]// Proceeding of International Conference on System and Networking on Education. 2011.
|
[5] |
John Regehr, Alastair Reid. HOIST: A system for automatically deriving static analyzers for embedded systems[C]// Proceedings of Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems. 2004:133-143.
|
[6] |
John Regehr, Alastair Reid, Kirk Webb. Eliminating stack overflow by abstract interpretation[J]. ACM Transactions on Embedded Computing Systems, 2005,4(4):751-778.
|
[7] |
Legrand J, Singhoff F, Nana L, et al. About bounds of buffers shared by periodic tasks: The IRMA project[C]// Proceedings of the 15th Euromicro International Conference of Real Time Systems. 2003.
|
[8] |
Absint. StackAnalyzer: Stack Usage Analysis[DB/OL]. http://www.absint.com/stackanalyzer/, 2013-08-09.
|
[9] |
ARINC 653, Avionics Application Standard Software Interface[S].
|
[10] |
Reinhold Heckmann, Christian Ferdinand. Verifying safety-critical timing and memory-usage properties of embedded software by abstract interpretation[C]// Proceedings of the Conference on Design, Automation and Test in Europe. 2005:618-619.
|
[11] |
汤小明,李引娟,程农. VxWorks在飞行管理系统中的应用研究[J]. 计算机工程与设计, 2011,32(3):52-56.
|
[12] |
汤小明,苏罗辉,宋科璞. 飞行管理系统AADL建模与分析[J]. 计算机技术与发展, 2010,20(3):91-94.
|
[13] |
武华,刘军伟. 基于 VxWorks 的多任务程序设计[J]. 计算机技术与发展, 2010,21(9):163-166.
|
[14] |
程斐,苗克坚,王瑞敏. QNX与VxWorks的特性分析和实时性能测试[J]. 计算机工程与设计, 2008,29(18):4734-4735,4739.
|