Hardware-software allocation specification of IMA systems for early simulation
Title | Hardware-software allocation specification of IMA systems for early simulation |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Horváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R R., and Mirachi, S. |
Conference Name | Digital Avionics Systems Conference (DASC) |
Date Published | 10/2014 |
Publisher | IEEE |
Conference Location | Colorado Spings, Colorado, US |
Keywords | IMA, model transformations, Trans-IMA, Viatra |
Abstract | 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. |