HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Bertrand Jeannet 1, * Fabien Gaucher 1, *
* Corresponding author
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Marc Boyer Connect in order to contact the contributor
Submitted on : Tuesday, March 22, 2016 - 5:33:26 PM
Last modification on : Wednesday, March 23, 2016 - 5:17:19 PM
Long-term archiving on: : Monday, November 14, 2016 - 2:18:29 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads