Formal Methods for Test Automation - Hard Real-Time Testing of Controllers for the Airbus Aircraft Family

Author: Jan Peleska

In this article, a collection of major problems to be solved for automated testing of embedded hard real-time systems is discussed. It is indicated which solutions are available. Architectural aspects of test automation systems and approaches for automated on-the-fly test evaluation are elaborated in detail. Practical examples refer to avionics control systems for the Airbus aircraft families which have been tested by the author's research team at Bremen University in collaboration with Verified Systems International.

postscript file (141KB)