Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Bertrand Jeannet
  • Fonction : Auteur correspondant
  • PersonId : 980098

Connectez-vous pour contacter l'auteur
Fabien Gaucher
  • Fonction : Auteur correspondant
  • PersonId : 980099

Connectez-vous pour contacter l'auteur

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01292286 , version 1

Citer

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⟩

Collections

ERTS2016
485 Consultations
1080 Téléchargements

Partager

Gmail Facebook X LinkedIn More