目前GJB5000A-2008《军用软件研制能力成熟度模型》在军工企业的逐步应用推广,软件产品研制过程的工程化要求越来越规范和严谨。本......

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐......

由于航空电子系统的发展对计算机软件技术的依赖性，在综合模块化航空电子（Integrated Modular Avionics，IMA）结构的开发方面，我国大力开......

通过设计与初始化ARMs3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问，有效增强了嵌入式系统......