Search Results

Different modelling techniques intended to deal with complexity of modern IMA systems are widely used now. Models can be used to help developers to lay out relevant information structurally. They can also be used to perform different formal analyses on machine-readable models like schedulability analysis, network load checks, WCET for software parts, FTA and FMEA and etc. For some kinds of analyses, special models are created on different stages of development. We suppose that reuse of models for different aspects and development stages is generally a good thing. In some cases it allows to reduce costs on development process; also it allows to make preservation of consistency between models more automatic. We are aware that using the same model for different stages or aspects can cause additional cost in the model maintenance. In this paper we are trying to make a step to further (including practical) research on this topic.

The paper presents an AADL-based toolset for Integrated Modular Avionics (IMA) design and integration. It describes activities of IMA system designer and system integrator that are supported by the toolset as well as its current architecture and future directions of development.