%0 Journal Article
%T 面向可信的航空嵌入式软件开发方法框架
%A 牛文生
%A 李亚晖
%A 吴际
%J 北京航空航天大学学报
%P 1577-1581
%D 2012
%X 针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.
%U http://bhxb.buaa.edu.cn/CN/abstract/abstract12468.shtml