Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports

Fabrice Ambert 1 Fabrice Bouquet 1, 2 Jonathan Lasalle 1 Bruno Legeard 3 Fabien Peureux 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This paper illustrates the use of a Model-Based Testing approach from SysML test model using four complementary automotive case studies. The purpose of these experiments is to give an empirical evidence of the reliability and to show the suitability of this tooled approach for the validation of embedded mechatronic systems (systems mixing software and hardware aspects). The experimented toolchain, based on the Model-Based Testing principles, reuses wellknown and effective existing tools in order to obtain an endto- end toolchain from the modeling step to the execution of the concrete test cases derived from the initial test model. This fully automated toolchain and the four automotive case studies are introduced, and automation feedback is discussed.
Type de document :
Communication dans un congrès
VALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012, Nov 2012, Lisbon, Portugal. pp.139--144, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00762072
Contributeur : Fabrice Bouquet <>
Soumis le : jeudi 6 décembre 2012 - 13:53:04
Dernière modification le : jeudi 15 février 2018 - 08:48:14

Identifiants

  • HAL Id : hal-00762072, version 1

Citation

Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux. Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports. VALID'12 - 4th International Conference on Advances in System Testing and Validation Lifecycle - 2012, Nov 2012, Lisbon, Portugal. pp.139--144, 2012. 〈hal-00762072〉

Partager

Métriques

Consultations de la notice

281