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 metadatas

https://hal.inria.fr/hal-00762072
Contributor : Fabrice Bouquet <>
Submitted on : Thursday, December 6, 2012 - 1:53:04 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Identifiers

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

Share

Metrics

Record views

340