We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. The tool-chain covers the entire system development life-cycle including modeling, analysis, code generation, and runtime instrumentation. Emphasis is placed on integration of tools developed by multiple institutions via standardized interface format definitions in XML. By capturing all relevant information explicitly in models at the design level, and performing analysis that provides insight into nonfunctional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping.
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh