Hardware-software allocation specification of IMA systems for early simulation

CímHardware-software allocation specification of IMA systems for early simulation
Közlemény típusaConference Paper
Kiadás éve2014
SzerzőkHorváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R R., and Mirachi, S.
Konferencia neveDigital Avionics Systems Conference (DASC)
Kiadás dátuma10/2014
Konferencia helyszíneColorado Spings, Colorado, US
KulcsszavakIMA, model transformations, Trans-IMA, Viatra

Model-driven engineering (MDE) is becoming a key approach in systems engineering, including Integrated Modular Avionics (IMA) design. It relies on systematic use of models from an early phase of the design process to provide source code generation, validation and analysis support. However, due to the complexity of IMA systems – that may incorporate hundreds of avionics functions and dozens of execution nodes – even early stage model-based analysis of their design can become cumbersome. This is especially true for safety related non-functional requirements like communication channel redundancy or error propagation and contamination.

In this paper, we present a model-driven framework to support the iterative design and analysis of IMA systems using an integrated Simulink model for analyzing the complete HW-SW architecture of the system.