面向可信的航空嵌入式软件开发方法框架

• 作者: 吴际 李亚晖 牛文生
• 来源期刊: 北京航空航天大学学报
• 学科: 工学
• 关键词: 软件可信性 航空嵌入式软件 模型化设计 组件化设计
• 年，卷（期）: 2012,（12）
• 页码范围: 1577-1581
• 页数: 5页
• 分类号: TP311.5
• 语种: 中文

摘要

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.