Model-based testing for avionic systems proven benefits and further challenges

15Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In this article, we report on the transition of model-based testing (MBT) from a widely discussed research discipline to an accepted technology that is currently becoming state of the art in industry; in particular, in the field of safety-critical systems testing. It is reviewed how focal points of MBT-related research in the past have found their way into today’s commercial MBT products. We describe the benefits of MBT that are – from our experience – most appreciated by practitioners. Moreover, some interesting open challenges are described, and potential future solutions are presented. The material presented in this paper is based on our practical experience with recent MBT campaigns performed for Airbus in Germany.

Cite

CITATION STYLE

APA

Peleska, J., Brauer, J., & Huang, W. L. (2018). Model-based testing for avionic systems proven benefits and further challenges. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11247 LNCS, pp. 82–103). Springer Verlag. https://doi.org/10.1007/978-3-030-03427-6_11

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free