Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne
La vérification en ligne de spécifications formelles permet de créer des détecteurs d'erreur dont le pouvoir de détection dépend en grande partie du formalisme vérifié à l'exécution. Plus le formalisme est puissant plus la séparation entre les exécutions correctes et erronées peut être pré...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2009
|
| Online Access: | http://oatao.univ-toulouse.fr/7830/1/robert.pdf |