Challenges and visions for model-based integration of avionics systems

This paper describes firstly some of the challenges, requirements, and end-state visions of the Model-Based Integration of Embedded Systems program (MoBIES) approach to developing avionics software systems. Next it provides an overview of the current Bold Stroke component-based product line development process. The paper subsequently addresses the three key technology areas of multiple view-modeling, model analysis and system configuration. The conclusion includes a brief description of upcoming experiments designed to exercise and demonstrate anticipated capabilities.