Paper Info
Title
Model-Based Testing for the Second Generation of Integrated Modular Avionics
Abstract
In this paper the authors present the current research and development activities regarding automated testing of Integrated Modular Avionics controllers in the European research project SCARLETT. The authors describe the goals of the SCARLETT project and explain its background of Integrated Modular Avionics. Furthermore, they explain different levels of testing of components required for certification. A domain-specific modelling language designed for the IMA platform is presented. This language is used to create models from which tests of different levels can be generated automatically. The authors expect significant improvements in terms of effort to create and maintain test procedures compared to conventional test creation.
Year
DOI
Venue
2011
10.1109/ICSTW.2011.72
Software Testing, Verification and Validation Workshops
Keywords
Field
DocType
test procedure,conventional test creation,different level,european research project,integrated modular avionics controller,automated testing,model-based testing,domain-specific modelling language,scarlett project,second generation,current research,integrated modular avionics,testing,model based testing,concrete,avionics,generators
Systems engineering,Software engineering,Integrated modular avionics,Avionics,Model-based testing,Domain specific modelling languages,Aerospace electronics,Engineering,Certification,TTCN-3,Test procedures
Conference
ISBN
Citations 
PageRank 
978-0-7695-4345-1
4
0.50
References 
Authors
2
2
Name
Order
Citations
PageRank
Christof Efkemann150.84
Jan Peleska253248.74