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.