面向对象的机载实时控制计算机的研究

如何把面向对象程序设计的方法，运用到实时控制计算机中去，是目前被高度重视的一个研究方向。本文根据机载实时控制计算机具有实时性、确定性功能分布及系统复杂性等特点，对面向对象程序设计机制在机载实时控制计算机环境中的应用进行了深入的研究与探讨。     

飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此,必须开发新的技术和方法而且要与已有的方法相结合,以使飞行临界系统在合理开发费用下,达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求,提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。     

民用飞机软件验证要求研究与实践

DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。     

软件安全性设计的分析验证要求研究

立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。     

基于AFAS 软件的机翼壁板耐久性分析及试验验证

随着航空工业的发展,对机翼壁板耐久性分析的精确性及计算速度的要求日益提高,必须考虑从手工计算到程序计算的转变。飞机结构耐久性分析软件系统(AFAS)是为了满足飞机结构耐久性分析的工程实际使用要求而编制的。本文介绍采用该软件中包含的DFR方法计算程序对机翼壁板结构进行耐久性分析的过程,并进行试验验证,分析得到的机翼壁板结构具有95%置信度、95%可靠度的可靠性寿命与试验统计结果非常相近,证明AFAS是一个可以进行耐久性分析的快速准确的计算工具。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

可靠性维修性保障性CAD软件集成环境工程应用验证研究

工程应用验证可以说是一种新的软件测试手段和方法，是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的，尤其像MS－CAD集成环境那样具有预先研究性质的软件，目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行，对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS－CAD集成环境，对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施，对工程应用验证理论进行了检验，得出了相应的结论。从某些角度讲，工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。     

载人航天飞行试验任务中遥控计划正确性自动验证方法的研究

本文以我国栽人航天工程飞行试验任务为背景,讨论了在任务中遥控计划的验证内容、正确性判断准则和判断方法,并给出了遥控计划正确性验证的流程。通过在任务中实现遥控计划正确性自动验证。保证了北京中心遥控计划的正确性和可靠性,确保了飞控任务的顺利实施,大大提高了工作效率。     

RCDOS——一种面向实时控制的分布式操作系统

本文介绍了一种面向大型实时过程控制的分布式操作系统 RCDOS(realtimecontrol distributed operating system,它是建立在两级总线互连的分布式网络上的操作系统。RCDOS 发挥了分布式计算机系统的优越性,并具有适应大型实时过程控制与信息处理应用的特点。文章着重介绍了该操作系统的资源管理、多机通信、过程控制以及状态监视与故障处理等技术。     

机载显示软件DF验证方法

对A661机载显示软件中的DF文件的原理和验证机理进行了分析,并提出了一种新型的DF验证方法。该方法基于自动化分析技术,能够提供基于数据的验证结果,为机载显示软件研制人员提供了一种客观、高效的DF验证方法。     

WINDOWS环境下利用Vxd程序实现的实时控制

本文就WINDOWS环境下实时控制存在的问题进行了论述，详细介绍了利用Vxd程序实现实时控制的过程。     

航空电子应用软件的分析及其分析验证软件浅析

在航电系统调试，试验，检测等过程中，对航空电子顶层应用软件的正确性进行分析和验证是至关重要的。本文结合某型飞机航电系统的研制实践，主要介绍了对航空电子应用软件进行分析的依据，方法和分析验证软件概况。     

模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

软件可靠性定量指标的分配与验证

阐述了软件开发过程中可靠性定量指标的分配原则和方法 ,对定量指标的验证进行了分析和探讨 ,研究了基于不同模型的验证方法 ,最后给出了一个控制软件可靠性分配和验证的例子。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

软件再工程理论应用研究

软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。