【摘 要】
：
分析了航电核心操作系统的发展以及存在的问题，参考参考NATOSTANAG 4626规范，基于商用的嵌入式时实操作系统VxWorks和具有自主知识产权的航电操作系统AcoreOS，设计了模块支持层与航电核心操作系统接口实现方法，通过测试与验证，表明设计方法与思路正确。实现MOS接口，使操作系统与模块支持层软件物理分离，节约了大量的软件开发费用、测试费用以及认证费用，对系统的升级换代很有益处，并可提高
【机 构】
：
西安电子科技大学计算机学院 陕西 西安 中国航空计算技术研究所 陕西 西安 中国航空计算技术研究所
【出 处】
：
全国抗恶劣环境计算机第十九届学术年会
论文部分内容阅读
分析了航电核心操作系统的发展以及存在的问题，参考参考NATOSTANAG 4626规范，基于商用的嵌入式时实操作系统VxWorks和具有自主知识产权的航电操作系统AcoreOS，设计了模块支持层与航电核心操作系统接口实现方法，通过测试与验证，表明设计方法与思路正确。实现MOS接口，使操作系统与模块支持层软件物理分离，节约了大量的软件开发费用、测试费用以及认证费用，对系统的升级换代很有益处，并可提高航电系统的可靠性，缩短研制周期，加快研制的速度，为航电系统的基础研究提供新思路。
其他文献
基于龙芯2F的的智能CAN节点用于对CAN总线上传来的数据进行算法解算并提供高分辨率显示输出。该节点通过CAN总线与外界接口，在硬件设计上采用国产高性能微处理器龙芯2F来进行算法解算，使用Volari V2芯片搭配8M 64-bitDDR SDRAM来支撑1600×1200×32@70NI的显示模式，软件系统设计上使用了YxWorks系统，并对PMON作了一定的优化设计来缩短系统启动时间。该节点已
分布式卫星作为航天器系统的前沿技术，已经成为当前的研究热点。本文针对分布式卫星的运行的空间恶劣环境和任务特点，研究分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题解决方案。在综合考虑分布式卫星嵌入式计算机系统设计要求的基础上，提出了分布、实时、容错、安全的一体化设计方法，提出了一种基于三级容错的主辅式双系统体系结构设计方案。对三级容错设计、基于可信平台模块(TPM)的主辅式双系统安全设计进行
本文简单的介绍了网格技术以及网格技术对军事领域的影响。介绍了美军军事网格发展历程中4个具有代表性的网格研究项目：ABIS Grid、C4IFTW Grid、C4ISR和GIG，展现了当前网格研究的现状和未来的发展趋势。在此基础上，本文总结了网格的发展方向。
计算机在嵌入式系统的作用日益重要，所占功能比重越来越大。由于嵌入式计算机的工作环境较普通的计算机恶劣，容易产生计算机电源不稳定等问题，本文综合分析提高嵌入式系统在掉电情况下容错能力的常用软件技术，并给出采用软件恢复块实现掉电恢复的实例。
恶劣的太空环境对星载计算机软件系统的运行带来了很大的影响，为了提高星载软件的可靠性，维护技术是一种重要的解决方法。从空间环境下的星载软件维护需求分析入手，在对一些维护技术进行分析和比较的基础上，重点针对基于VxWorks动态加载器的星载软件维护技术进行了设计和说明。
计算机在各个领域中的应用越来越广泛深入，计算机软件已成为大部分产品的关键组成部分，如何提高软件质量成为全球软件界广泛关注的问题，提高软件质量的研究变得越来越重要了。提高软件质量简而言之是指使软件中的错误尽量少，而在编码阶段产生错误的概率最大，占总错误量的35[％]，因此研究在编码阶段如何进行错误的预防对于提高软件的质量能起到至关重要的作用。本文介绍了基于代码的软件质量度量模型的研究情况，在研究语言
为保证系统网络连接的性能与可靠性，实现双网冗余切换设计是一种常用的和有效的方法。本文描述了Intel8254610/100/1000M自适应网卡在VxWorks操作系统中实现双网冗余切换的驱动设计。首先讲述VxWorks系统下网络驱动程序的基本架构，然后说明在VxWorks中支持多路网卡驱动程序的具体配置和加载方法，最后对双网冗余切换技术的实现作了详细的介绍。
性能测试是测试软件是否满足性能需求的一种测试技术。本文首先介绍了性能测试的基本概念和切入时机，并对性能测试的流程加以阐述，然后介绍了LoadRunner测试工具，并以具体的数据访问中间件的性能测试为例，阐述了性能测试在开发和定型过程中的应用。
文章首先阐述了设计模式的概念及其在嵌入式系统中的应用，然后对远程方法调用模式进行了研究与分析，在分析远程方法调用模式的基础上结合其原理对其进行了改进，给出了类图模型。并且给出了改进以后模式的协作角色以及结构组成原理，在领域实现部分给出了远程方法调用模式改进后的过程模拟。本文利用面向对象方法及统一建模语言对设计模式进行改进，可以体现远程方法调用的整体过程。改进后的设计模式具有一般理论意义和工程实用价
AADL(Architecture Analysis & Design Language)语言是美国SAE(Society of Automotive Engineers)组织定义的一组满足航空电子综合化设计用的建模语言。利用AADL语言建立分区操作系统应用模型，使用各种分析工具能够分析系统性能，帮助用户验证并改善系统。简要介绍AADL语言的语法成分及建模过程，详细介绍了针对分区操作系统应用而开发