|
|||||
|
|
| 面向可信的航空嵌入式软件开发方法框架 | |
| 作者姓名： | 牛文生 李亚晖 吴际 |
| 作者单位： | 中国航空工业集团公司计算技术研究所,西安,710068;北京航空航天大学计算机学院,北京,100191 |
| 基金项目： | 航空科学基金资助项目(2010ZC31002) |
| 摘 要： | 针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响. |
| 关 键 词： | 软件可信性 航空嵌入式软件 模型化设计 组件化设计 |
| 收稿时间： | 2012-08-29 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 | |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 | |