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

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

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

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

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

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

基于SCADE实现的三余度飞控计算机系统任务同步

余度技术是提高可靠性的有效途径,余度系统同步是余度技术的关键。在SCADE开发环境中采用图形化建模方式搭建三余度飞控计算机任务同步模型,应用自动代码生成技术将任务同步模型生成高可靠嵌入式实时代码,省略代码单元测试,具有开发周期短、安全性高等优点。在实际应用中能稳定可靠的完成了任务同步,为余度系统作用发挥奠定了基础。     

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

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