FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Model-Based Testing for Avionics Systems

Authors: Joerg Brauer and Uwe Schulze

Paper Information

Title:Model-Based Testing for Avionics Systems
Authors:Joerg Brauer and Uwe Schulze
Proceedings:FM FMComplete
Editors: Jan Peleska, Klaus Havelund and Bill Roscoe
Keywords:model-based testing, avionics systems, hardware-in-the-loop
Abstract:

ABSTRACT. Model-based testing is considered state-of-the-art in verification and validation of safety critical systems. This paper discusses some experiences of applying the model-based testing tool RTT-MBT for the evacuation function of an aircraft cabin controller. A major challenge of this project was the parametric design of the software, which allows to tailor the software to a certain aircraft configuration via a large number of application parameters. Application parameters thus need to be integrated in the test models. Further challenges consisted of mapping multiple detailed signals of the system under test to a single abstract model variable and vice versa, and handling incremental test model development during an ongoing test campaign. We discuss solutions that we developed to successfully conduct this test campaign.

Pages:4
Talk:Jul 17 10:00 (Session 117C: FM I-Day)
Paper: