Testing Avionics Software: Is FMI up to the Task?

This paper compares two test engine architectures, one based on the RT-Tester test system, and one based on FMI, and analyzes how these different approaches satisfy the needs for verification and validation of safety-critical avionics software. The study is based on an aircraft controller application, which motivates the requirements to the test engine designs.

[1]  Jim Woodcock,et al.  Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project , 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data).

[2]  Yves Sorel,et al.  Acceleration of FMU Co-Simulation On Multi-core Architectures , 2016 .

[3]  Franco Fummi,et al.  A timing-accurate HW/SW cosimulation of an ISS with SystemC , 2004, International Conference on Hardware/Software Codesign and System Synthesis, 2004. CODES + ISSS 2004..

[4]  David Broman,et al.  Co-simulation: State of the art , 2017, ArXiv.

[5]  Richard M. Fujimoto,et al.  Parallel discrete event simulation , 1990, CACM.