SCADE平台下的图形化设计和代码自动生成

随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载软件开发方法—高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间。     

基于模型驱动的机载嵌入式软件应用

传统的软件开发方法已无法应对机载嵌入式软件开发面临的严峻挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效地提高了机载嵌入式软件开发效率。文中对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较,证明前者更优,验证了基于模型驱动开发的软件设计方法能有效地提高机载嵌入式软件的开发效率。     

基于模型的民用飞机软件开发技术研究

针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在这个模型上进行仿真测试,然后完成基于模型的结构覆盖率分析,最后通过这个工具的认证级代码生成器生成高安全性的源代码,对源代码进行集成测试。最后对这种开发方式的优缺点及开发中应注意的问题进行了概括总结。     

基于SCADE的航空发动机FADEC软件开发

机载软件开发面临复杂性、安全性和成本等方面的巨大挑战.针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用.探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发.通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性.提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项.分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足.     

SCADE平台下C代码的自动生成

随着航空电子软件的迅速发展,传统的软件设计方法已不能满足其效率和安全性需求.为解决传统设计方法的不足,寻求一种更有效的控制软件设计方法,高安全应用开发环境SCADE应运而生.主要介绍了高安全应用开发环境SCADE的开发背景及开发特点,并以飞机飞行控制律为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模建立无人机飞行控制律模型,通过模拟仿真保证设计的正确性,最终自动生成可直接面向工程的嵌入式C代码.实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,体现了SCADE环境下进行软件开发的优越性.     

三角函数的SCADE Suite 实现方法

利用SCADE Suite实现三角函数的泰勒级数展开法,进行了建模、仿真、比较。对于嵌入式编程,很多时候由于系统的限制,需重新实现三角函数而不是使用编译器自带的三角函数。实现三角函数,多数会应用迭代算法,而对于手工编程下的迭代等算法,编程人员都比较熟悉,但是对于使用模型方式来实现循环、迭代还是一种比较新的技术,多数软件开发人员并不熟悉,通过本文可以了解这一技术,并解决建模方式下实现三角函数及反三角函数等类似较复杂算法的难点。     

基于SCADE与QNX平台的列车测速定位安全软件

为保证列车测速定位软件的安全性, 研究了测速定位原理, 提出一种新的测速定位模型, 在此基础上引入SCADE开发方式, 建立测速定位软件模型, 并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行, 通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。     

基于SCADE的无人机自主导航飞行软件设计

该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境-SCADE(Safety-Critical Application Development Environment)开发无人机自主导航功能模块的软件;按照SCADE开发嵌入式软件设计流程,自动生成可直接面向工程的高安全性嵌入式代码;并通过代码的效率测试和安全性测试,验证了在SCADE环境下进行无人机软件开发的优越性;由此得出SCADE很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,并具有很高的安全性特征.     

基于SCADE的无人机三余度飞控系统设计及实现

利用一种嵌入式软件开发的新方法--嵌入式代码自动生成软件SACDE研究了无人机三余度飞控系统的开发.通过与传统三余度飞控系统开发方法进行了对比,说明了使用SCADE开发的无人机三余度飞控系统具有成本低、周期短、安全性高、交互界面友好等优点,并在很大程度上实现了该软件开发的自动化.     

基于SCADE的形式化验证技术研究

针对软件开发中的一种软件验证技术——形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性.