Formal Methods for Test Automation - Hard Real-Time Testing of
Controllers for the Airbus Aircraft Family
Author: Jan Peleska
Abstract:
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)