Model-Based Testing for Avionics Systems

  • Jörg BrauerEmail author
  • Uwe Schulze
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10951)


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. One challenge of this project was the parametric design of the software, which allows to tailor the software to a certain aircraft configuration via application parameters. Further challenges consisted of connecting hardware signals of the system under test to abstract model variables, and handling incremental test model development during an ongoing test campaign. We discuss solutions that we developed to successfully conduct this test campaign.


Model-based Testing Voiding Function Application Parameters Model-based Development Techniques Tension Panel 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Lapschies, F.: SONOLAR homepage, June 2014.
  2. 2.
    Peleska, J., Vorobev, E., Lapschies, F.: Automated test case generation with SMT-solving and abstract interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 298–312. Springer, Heidelberg (2011). Scholar
  3. 3.
    Verified Systems International GmbH: RTT-MBT: Model-Based Testing.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Verified Systems International GmbHBremenGermany

Personalised recommendations