Skip to Main content Skip to Navigation
New interface
Conference papers

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 (UMR 6174), 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Thursday, December 6, 2012 - 1:53:04 PM
Last modification on : Friday, January 21, 2022 - 3:09:06 AM


  • HAL Id : hal-00762072, version 1


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. ⟨hal-00762072⟩



Record views