论文部分内容阅读
为了验证分布式软件的正确性，提出了一种具有智能控制策略的基于故障注入方法的嵌入式软件仿真方法。结合软件故障注入的过程特点，将故障建模、故障分析和故障注入技术有效地应用于嵌入式软件仿真过程中，对应用软件的故障处理、容错机制进行了验证，并通过实验证明该方法的有效性。
基于软件故障注入的仿真方法设计
【摘 要】
：
为了验证分布式软件的正确性，提出了一种具有智能控制策略的基于故障注入方法的嵌入式软件仿真方法。结合软件故障注入的过程特点，将故障建模、故障分析和故障注入技术有效地应用于嵌入式软件仿真过程中，对应用软件的故障处理、容错机制进行了验证，并通过实验证明该方法的有效性。
【机 构】
：
中航工业西安航空计算技术研究所三室 陕西西安 710068
【出 处】
：
全国抗恶劣环境计算机第十九届学术年会
【发表日期】
：
2009年7期
其他文献
分布式卫星作为航天器系统的前沿技术，已经成为当前的研究热点。本文针对分布式卫星的运行的空间恶劣环境和任务特点，研究分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题解决方案。在综合考虑分布式卫星嵌入式计算机系统设计要求的基础上，提出了分布、实时、容错、安全的一体化设计方法，提出了一种基于三级容错的主辅式双系统体系结构设计方案。对三级容错设计、基于可信平台模块(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语言的语法成分及建模过程，详细介绍了针对分区操作系统应用而开发