摘要：介绍了微分代数系统DAE的基本概念及仿真算法，特别指出了用BDF方法求解高指标常系数线性DAE系统时的数值稳定性缺陷。最后，针对飞行器轨道约束实时控制问题，给出了3阶收敛的代数约束算法。

摘要：软件开发方法对提高软件开发效率和软件质量有着巨大的推进作用。结构化方法、形式化方法、面向对象方法的出现和使用推动了软件工程学和软件产业的发展。其中结构化方法是基础性的方法和使用最广泛的方法,在宇航、国防以及诸多的民用领域均取得了许多成功经验。 软件结构化方法适用于软件开发全过程,其核心和基础是结构化程序设计理论。将结构化程序设计理论应用于软件需求分析、设计、编码等项工作,就形成了软件结构化分析方法、结构化设计方法和结构化编程方法。 1.结构化程序设计理论 1968年荷兰教授***提出“GOTO语句是有害的”的观点,指出程序的质量与程序中所包含的GOTO语句的数量成反比,认为应该在一切高级语言中取消GOTO语句。这一观点在计算机学术界激起了强烈的反响,引发了一场长达数年的广泛的论战。

摘要：1.引言 目前航天软件测试经常遇到的一个问题是:测试时间短,但被测软件的可靠性和安全性要求高。这就要求测试人员提高测试效率,用尽量少的测试用例达到尽可能高的测试覆盖。 结合故障检测处理系统的测试实践,针对一类实时嵌入式软件,作者提出了一种基于状态分析的软件测试设计方法,本文为作者对这一方法的总结。

摘要：对象模型OM是HLA互操作和资源可重用的基础。本文从功能和实现两个角度对作者自主开发的对象模型自动生成系统OMAS进行研究 ,指出OMAS是建立在HLA对象模型模板OMT基础上的开发工具 ,阐明了OMAS在HLA联邦设计和开发过程中的重要作用。同时文章还论述了OMAS的软件结构、功能模块和实现中的关键技术。最后将OMAS与国外同类软件进行比较。

摘要：首先阐述了软件维修性的概念和内涵，并对软件维修性的定量评估方法进行了理论研究，针对４个软件维修性度量模型进行了实验分析。

摘要：在FPGA设计过程中,功能仿真(前仿真)使用EDA工具将硬件描述语言(设计源代码)用仿真器解析并进行功能验证,而设计中则采用的芯片厂商的工具进行综合及布局布线,两者对硬件描述语言的解析采用的工具不同,可能会导致对代码的理解不一致,仿真结果与实际设计功能不一致。在使用VHDL进行FPGA设计时,当对时钟信号进行赋值后,在本文的情况下,目前主流EDA工具在信号赋值语句的解析实际设计均不一致,在FPGA设计过程中应尽量避免使用该类语法,仿真验证过程中应对此予以关注。

摘要：将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。

摘要：为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。

摘要：软件可靠性设计越来越引起人们的重视,软件抗干扰不仅设计灵活,节省硬件资源,并且具有高可靠性,文章从软件测试的角度阐述了51系列单片机软件抗干扰设计技术和方法。

摘要：信息安全设计的首要步骤是威胁分析与风险评估(threat analysis and risk assessment,TARA),以此确定安全需求和目标,为信息安全正向开发及安全漏洞修复提供依据。然而,当前TARA分析仅能对恶意攻击及安全漏洞的影响进行评估,即不支持对防护策略效用的量化评估。为此,本文提出了一种攻击和修复相结合的威胁分析与风险评估(attack and fix combined threat analysis and risk assessment,AFC-TARA)方法。通过将系统级车载网络架构的安全状态转换为连续时间马尔科夫链模型,并将转移速率与漏洞挖掘、漏洞修复及安全防护策略相关联,进而实现综合考虑攻击变量与防御变量的系统级车载网络架构安全分析与评估。