Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées

Karen Godary-Dejean 1 Isabelle Augé-Blum 2
1 EXPLORE - Robotique mobile pour l'exploration de l'environnement
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 ARES - Architectures of networks of services
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Résumé : La fiabilité des applications distribuées temps réel critiques doit être garantie par des techniques formelles de validation, comme le model-checking. Cependant, ces méthodes ont souvent des problèmes d’explosion combinatoire. Cet article propose des abstractions efficaces pour la modélisation et la validation temporelle de l’'architecture TTA (Time-Triggered Architecture) avec des automates temporisés (UPPAAL).
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2005, 39 (1/3), pp.63-78. 〈10.3166/jesa.39.63-78〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00812571
Contributeur : Karen Godary-Dejean <>
Soumis le : vendredi 12 avril 2013 - 14:15:13
Dernière modification le : samedi 27 octobre 2018 - 01:20:24
Document(s) archivé(s) le : samedi 13 juillet 2013 - 04:05:25

Fichier

2005_JESA_Re-publiDeMSR05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Karen Godary-Dejean, Isabelle Augé-Blum. Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2005, 39 (1/3), pp.63-78. 〈10.3166/jesa.39.63-78〉. 〈lirmm-00812571〉

Partager

Métriques

Consultations de la notice

355

Téléchargements de fichiers

833