Embedded Systems Requirements Verification Using HiLeS Designer - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Embedded Systems Requirements Verification Using HiLeS Designer

C-E Gómez
  • Fonction : Auteur
J-C Pascal
  • Fonction : Auteur
P. Esteban
  • Fonction : Auteur
Y Déléris
  • Fonction : Auteur
J-R Devatine
  • Fonction : Auteur

Résumé

One of the issues related to systems design is the early verification in first design steps: system specifications verification. Nowadays, it is common to use text-based specifications to begin a system design. However, these specifications cannot be verified until a software model is made. In this work, we show how can we use HiLeS Designer to model and verify, formally and by simulation an embedded system specification. This tool makes easier to build the model, using graphical concepts which are familiar to designers. It also helps to verify formally the structure and some logical behavior, and by simulation, it is possible to verify the consistence of the embedded system specification. We model and verify System Display Selector Requirements applying HiLeS Designer.
Fichier principal
Vignette du fichier
4C-2.pdf (409.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02267713 , version 1 (19-08-2019)

Identifiants

  • HAL Id : hal-02267713 , version 1

Citer

C-E Gómez, J-C Pascal, P. Esteban, Y Déléris, J-R Devatine. Embedded Systems Requirements Verification Using HiLeS Designer. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267713⟩

Collections

ERTS2010
16 Consultations
20 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More