一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。

小型无人机飞控系统软件可靠性设计与建模研究

小型无人机硬件受系统造价及其他因素的影响,不能很好地保证小型无人机系统的整体可靠性,而必须通过软件来补充并提高小型无人机系统的整体可靠性;飞行控制系统作为无人机的核心子系统,它的软件可靠性成为了可靠性保证的重中之重。文中首先论述了某小型无人机飞行控制软件的系统结构以及软件可靠性设计的方法和过程,然后利用白盒测试方法结合修正条件/判定覆盖标准对该软件的可靠性进行了测试;测试过程中,通过设计4组不同的测试用例,检验这些用例所对应的测试路径是否与实际情况相同;实验结果表明,所设计的方法满足软件可靠性测试的需要。

民用无人机飞行控制器软件设计

介绍了民用摄像无人机飞行控制器软件的功能需求。基于数据流图设计了软件的逻辑模型, 利用结构化方法设计了软件的模块构成。在程序权限分配和接口设计时采用了智能递阶控制思想。程序的多运行模式流程实现采用了多个互斥主循环加中断的结构。最终设计的飞行控制软件具有4个功能层次, 能够在飞控、测试和调参3种模式下运行。介绍了软件设计中的几项专门技术。所设计的软件具有功能集成度高、稳定性好、可扩展性强等特点。

飞行控制软件可靠性设计探讨

控制系统飞行软件 (飞行控制软件 )是关系到弹箭飞行成败的关键部分 ,本文从一些实例出发对如何提高飞行控制软件设计的可靠性做了探讨。

双 CPU 环境下飞行控制软件的设计

本文介绍运载火箭飞行控制软件在双ＣＰＵ冗余硬件配置下的可靠性设计和可靠性指标分配的方法。文中提到的部分技术经过了实验的检验。

飞行控制软件可靠性设计

针对双ＣＰＵ、以主从方式运行的冗余硬件配置，介绍了管理和故障诊断策略。飞行控制软件一般包括制导、姿控和综合三部分，制导部分要求有高的计算精度，姿控部分的实时性很强，综合部分应对飞行状态正确识别和处理。针对这些特点，分别介绍了各分系统软件可靠性设计的总体结构、故障判别的条件以及具体的实现。文中提到的部分技术经过了实验的检验。

提高实时测控软件系统可靠性方法研究

针对靶场实时测控软件系统多进程多线程并发运行、信息流量大、接口关系复杂、实时性强、可靠性高的特点,在分析实时测控软件可靠性风险的基础上,提出了把好软件研制质量关、加强软件测试、建立多路IP数据互为备份的传输模式、设计高可靠性软件架构等方面提高可靠性方法。

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统, 其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点, 介绍基于覆盖与故障注入的测试方法, 分析其测试与可靠性评估中的关键技术, 并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数, 减少不必要的经济损失与灾难性事件发生。

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。

一种虚拟试飞验证飞控软件安全性评估方法

航空机载软件的安全性关乎整个飞行安全,但机载软件的安全性测试一直是一个困扰研究人员的问题,为了测试其安全性,提出了一种基于改进的铁鸟台半实物仿真系统对飞控软件进行虚拟试飞验证的方法,简便且行之有效。首先分析了飞控软件缺陷的致灾机理,并以此建立软硬件综合测试策略,基于样本特征,建立了样本分布规律统计模型及安全性定量评估模型,最后通过案例分析,检验该方法的实践价值,证明利用改进方法可以对飞控软件安全性进行评估测试,排除机载软件的潜在缺陷,提高飞控软件的安全性。

空管自动化系统软件可靠性的模糊综合评价

针对中国民航空管信息处理量爆炸式增长导致空管自动化系统软件可靠性降低的问题,提出了采用模糊综合评价法对软件可靠性进行评估的方法.对影响空管自动化系统软件可靠性的因素进行了分析,构建了系统软件可靠性的指标体系,采用层次分析法和物元分析法相结合的方式对各因素进行了权重的确定,并运用模糊综合评价法对软件可靠性进行了评估.实例分析及计算结果表明,该评估方法具有一定的有效性和可操作性,能够客观准确地评估空管自动化系统软件的可靠性.

抱合机单片机控制系统

本文介绍了抱合机单片机控制系统的原理及功能，并对主要电路进行了分析。与微机通信采用RS－485串行总线标准，键盘采用符合AT标准的小键盘，对抱合机电机转速的控制采用模糊算法。系统应用程序由主程序、子程序和多个中断服务程序实现。

抱合加单外机控制系统

介绍了抱合机单片机控制系统的原理及功能，并对主要电路进行了分析。与微机通信采用RS─485串行总统标准，键盘采用符合AT标准的小键盘，对抱合机电机转速的控制采用模糊算法。系统应用程序由主程序、子程序和多个中断服务程序组成。