Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes
Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une t...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2010
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00481072 http://tel.archives-ouvertes.fr/docs/00/48/10/72/PDF/Manuscrit_These_Fassely_Doumbia.pdf |