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

作     者：牛文生 李亚晖 吴际 

作者机构：中国航空工业集团公司计算技术研究所西安710068 北京航空航天大学计算机学院北京100191 

基　　金：航空科学基金资助项目(2010ZC31002) 

出 版 物：《北京航空航天大学学报》 (Journal of Beijing University of Aeronautics and Astronautics)

年 卷 期：2012年第38卷第12期

页      码：1577-1581页

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

主 题 词：软件可信性 航空嵌入式软件 模型化设计 组件化设计 

学科分类：08[工学] 0802[工学-机械学] 0835[0835] 0825[工学-环境科学与工程类] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13700/j.bh.1001-5965.2012.12.010

馆 藏 号：203940061...