Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study - Archive ouverte HAL Access content directly
Conference Papers Year :

Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study

Bertrand Jeannet
  • Function : Correspondent author
  • PersonId : 980098

Connectez-vous pour contacter l'auteur
Fabien Gaucher
  • Function : Correspondent author
  • PersonId : 980099

Connectez-vous pour contacter l'auteur


In a typical software project, 40% to 60% of design bugs are caused by faulty requirements that generate costly ite rations of the development process as specifications need to be re de fined, design and implementation modified accordingly, and the n retested. The major reason for this situation is that no practical tool exists for debugging requirements while drafting spe cification, and the many tools that exist for requirement management and traceability do not address this problem. STIMULUS provides an innovative solution for the early de bugging and validation of functional real-time systems re quirements. It provides a high-level language to express textual ye t formal requirements, and a solver-driven simulation engine to ge nerate and analyze execution traces that sati sfy re quirements. Visualizing what systems will do enables system architects to discover ambiguous, i ncorrect, missing or conflicting requireme nts before the des ign begins. We demonstrate the use of STIMULUS on the specification of automatic headlights from the automotive industry. We show how this unique simulation technique enables to discover and to fix ambiguous and conflicting requirements, resulting in a clear and e xecutable specification that can be shared among engineers.
Fichier principal
Vignette du fichier
paper_84.pdf (733.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01292286 , version 1 (22-03-2016)


  • HAL Id : hal-01292286 , version 1


Bertrand Jeannet, Fabien Gaucher. Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292286⟩


437 View
1003 Download


Gmail Facebook Twitter LinkedIn More