Diagnostic des systèmes temporisés

Résumé : Dans ce chapitre nous donnons les principaux résultats concernant le diagnostic de fautes dans les systèmes temporisés. Le modèle de systèmes temporisés que nous prenons est celui des automates temporisés introduits dans les chapitre 3 et chapitre 4. Nous invitons le lecteur qui n'est pas familier avec ce modèle à consulter ces chapitres préalablement à la lecture de celui-ci.
keyword : fault diagnosis
Type de document :
Chapitre d'ouvrage
Roux, Olivier H. and Jard, Claude. Systèmes embarqués -- Approches formelles, Hermes Science, pp.145--176, 2008, Traite IC2
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00493629
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:08:46
Dernière modification le : jeudi 15 mars 2018 - 14:28:03
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 17:49:41

Fichier

afsec-book-diag.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00493629, version 1

Collections

Citation

Franck Cassez, Stavros Tripakis. Diagnostic des systèmes temporisés. Roux, Olivier H. and Jard, Claude. Systèmes embarqués -- Approches formelles, Hermes Science, pp.145--176, 2008, Traite IC2. 〈inria-00493629〉

Partager

Métriques

Consultations de la notice

208

Téléchargements de fichiers

94