Model driven early exploration of IMA execution platform

Hardware-software allocation specification of IMA systems for early simulation

“…The current section shortly highlights similar research directions on IMA and ARINC 653 design from the literature One key area is to increase development effectiveness by using model-based techniques such as: early model-based validation and analysis using formal methods such as model checking and theorem proving [16], automated generation of application source code for ARINC 653 compatible RTOSs from high-level models [17], advanced IDE and validation support for the definition of ARINC-653 configuration artifacts such as Partition Operating System (POS), Module Operating System (MOS) and health monitoring tables [18], high-level architectural design of partition level application and their internal structure using state machines [17] and multi-aspect optimization of IMA systems taking into account simultaneously physical factors, software and hardware allocation and communication architecture in the optimization process [19]. Similar to our work, both [20] and [21] proposed a mainly simulation based early validation of IMA systems using the Cheddar and the SystemC simulation framework, respectively. However, both approaches focus on scheduling of partitions and their communication means, while in our case we simulate the behavior of the system in case of element level (e.g., partition, router, etc) errors and provide feedback on dependability characteristics.…”