Contract-based modeling and verification of timed safety requirements within SysML
In order to cope with the growing complexity of critical real-time embedded systems, systems
engineering has adopted a component-based design technique driven by requirements …
engineering has adopted a component-based design technique driven by requirements …
[PDF][PDF] Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML
I Dragomir - 2014 - users.ics.aalto.fi
Résumé De nos jours, les systèmes informatiques croissent en taille et en complexité.
Intégrés dans des dispositifs de différents domaines tels que l'avionique, l'aéronautique …
Intégrés dans des dispositifs de différents domaines tels que l'avionique, l'aéronautique …