基于SCADE模型驱动的软件集成设计

SCADE开发环境采用直观的图形化建模方式搭建系统模型,很大程度上实现了软件开发的自动化,节约开发成本并具有很高的安全性特征。本文采用软件代码集成的方式将设计好的 SCADE 模型转换为特定运行平台上的可执行程序,程序运行效果和 SCADE 模型模拟仿真效果完全一致,成功实现设计模型到实际应用的转换。     

SCADE 在航空发动机FADEC 软件开发中的应用

为了探索SCADE开发环境在基于模型设计（MBD）的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

基于统一方法架构的软件开发过程模型辅助系统

介绍了基于统一方法架构的软件开发过程模型辅助系统,它是对RUP的裁减和定制,以满足航空电子软件开发的特殊性。还介绍了软件开发过程模型辅助系统在型号项目以及新员工中的应用案例及应用结果。     

敏捷开发在某型飞机机载软件研制中的应用

针对机载软件设计需求复杂、设计开发团队庞大以及版本交付周期长等特点,概括介绍了敏捷软件开发这种新型的"轻便式"软件开发方法,并以某型飞机襟缝翼控制器机载软件开发为例,结合软件设计开发过程,对敏捷开发方法进行了应用,该方法大大提高了机载软件研制的效率和可靠性。     

基于模型的复杂系统安全性和可靠性分析技术发展综述

复杂系统的安全性、可靠性分析一直是装备通用质量特性领域关注的热点问题。随着航空机载系统向综合化、集成化、智能化方向发展，系统的功能逻辑、架构设计以及容错设计越来越复杂，以人工演绎推理为主的传统安全性、可靠性分析手段已经越来越不能满足要求，模型驱动的分析方法正在成为复杂系统安全性、可靠性设计所依赖的重要技术手段。特别是近几年，基于模型的系统工程技术发展迅猛，并在国内外航空企业中得到了广泛的应用和认可，这为基于模型的系统安全性、可靠性设计技术的进一步发展提供了有利条件。本文主要对国内外基于模型的复杂系统安全性、可靠性分析技术的研究进展进行了介绍，并对该项技术未来的发展方向和趋势进行了分析，为装备开展系统安全性、可靠性分析工作提供借鉴。     

基于SCADE的FADEC软件通用基准模型库开发

在航空发动机全权限数字电子控制（FADEC）软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和 质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上, 结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象, 通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境（SCADE）建模仿真工具 完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明：该基准库支撑了多个FADEC软件项 目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也 具有一定的借鉴意义。     

基于GJB5000A的型号软件设计过程的研究与实践

结合软件项目在GJB5000A三级的实践过程,针对软件开发过程中发现的问题,分析了型号软件项目研发的特点,总结出基于技术成熟度的软件工程化的实践方法,适用于型号软件工程化的普及和推广。在进行软件设计迭代时,每一次迭代实际上是技术成熟度的提升。对贯标项目如何达到GJB5000A的改进目的进行了探讨。     

分层架构下基于模型的软件—体化开发

日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。     

基于UML的网上选课系统的研究与设计

UML统一建模语言,是软件分析设计中的标准语言,可用于软件分析、设计和实现的全过程.通过网上选课系统开发实例,介绍了如何应用UML的方法,设计和开发一个软件模型.实践证明,在基于RUP以体系结构为中心的建模方法的指导下,应用UML丰富的可视化建模元素,可以快速、准确地构建面向对象的应用模型.