Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués

@article{Dhaussy2007MiseE,
  title={Mise en œuvre de composants MDA pour la validation formelle de mod{\`e}les de syst{\`e}mes d'information embarqu{\'e}s},
  author={Philippe Dhaussy and F. Boniol},
  journal={Ing{\'e}nierie des Syst{\`e}mes d Inf.},
  year={2007},
  volume={12},
  pages={133-157}
}
RESUME . L’article presente la definition et l’exploitation d’un concept d’unite de preuve comme element encapsulant les donnees necessaires apreuve de proprietes sur un modele de systeme a verifier et plonge dans un environneme nt. Les modeles des unites, manipulees dans le processus de developpement, peuvent etre co nstruits sous la forme de modeles abstraits a partir des donnees fournies par les pha ses d’analyse et de conception du systeme. Ces modeles integrent des contextes de preuve… Expand
9 Citations
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
  • PDF

References

SHOWING 1-10 OF 19 REFERENCES
Validating timed UML models by simulation and verification
  • I. Ober, S. Graf, I. Ober
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2005
  • 127
  • PDF
LSCs: Breathing Life into Message Sequence Charts
  • 950
  • PDF
The AltaRica Formalism for Describing Concurrent Systems
  • 204
A Theory of Timed Automata
  • 6,979
  • PDF
Weaving executability into object-oriented meta-languages
  • 517
  • PDF
STAIRS towards formal design with sequence diagrams
  • 142
  • PDF
Supporting UML-based development of embedded systems by formal techniques
  • 36
  • PDF
Model Checking for Managers
  • 77
  • PDF
Synchronous Observers and the Verification of Reactive Systems
  • 303
...
1
2
...