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

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

Dependability oriented avionics embedded software development framework

A systematic methodology was provided to facilitate the development of dependable embedded avionics software. The dependability primarily denotes to reliability, security and real-time. The dependability attribute model was defined to derive the key aspects to be specified in the stages of analysis and design. A V-model extended process model was proposed to support the co-modeling of system and software. At last, the dependability oriented development methodology was proposed. It consists of model-based requirement analysis, component-based design and system configuration and integration. During the design of the development framework, the characteristics were considered that software tasks embedded in a common integrated platform have to use the resources in a competitive and sharing way due to the limitation of resources. The effects of these characteristics on the reliability, security and real-time are also included in the design.