基于SCADE的近地告警系统软件设计及应用

论文摘要

近地告警系统是减少可控飞行撞地事故、提升飞行安全的重要机载设备。近地告警系统软件嵌入在近地告警产品中,其开发模式对产品的安全性影响很大。提出了基于SCADE平台进行近地告警系统软件设计及验证的方法,解决了传统开发方法中"需求理解不一致"、"设计验证不充分"等问题,并成功应用于某型近地告警系统。设计验证结果表明,基于SCADE进行近地告警系统开发是可行的,同时可以加快研制过程,优化产品软件质量,提高系统安全性。

论文目录

• 0 引言
• 1 近地告警与SCADE开发技术
•   1.1 基于SCADE的高安全性嵌入式软件开发
•   1.2 近地告警系统软件设计与开发需求
• 2 告警模式设计与开发实例
•   2.1 需求分析
•   2.2 SCADE环境下的建模
•   2.3 模型的设计验证
•   2.4 代码自动生成与集成
•   2.5 模型功能测试和覆盖率测试
• 3 结束语

文章来源

类型: 期刊论文

作者: 吴秀芝,马亮,高胜林

关键词: 飞行安全,近地告警,高安全性应用开发环境,模型化设计

来源: 航空电子技术 2019年02期

年度: 2019

分类: 工程科技Ⅱ辑,信息科技

专业: 航空航天科学与工程,计算机软件及计算机应用

单位: 上海航空电器有限公司

分类号: TP311.52;V243

页码: 41-46+52

总页数: 7

文件大小: 1132K

下载量: 12