Advancement in Automated Simulation and Testing Technology for Safety-Critical Avionic Systems

Author: Jan Peleska, Klemens Brumm, Gunnar Jonas and Tobias Hartmann

We present novel techniques for automated simulation and testing of - potentially safety-critical - avionic systems, to be certified according RTCA DO-178B. The results focus on (1) automated simulation, test case and test data generation from executable UML specifications, (2) integration of large simulation environments, consisting of parallel, possibly interacting, tasks representing components in the operational environment of the system under test and (3) test benches providing scalable hard real-time execution platforms for the testing and simulation software. The underlying methodology has been elaborated in the KATO project within the German aerospace research programme LUFO III.

PDF file (4488KB)