Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Journal Européen des Systèmes Automatisés (JESA) Year : 2005

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

Abstract

The reliability of critical real time distributed applications must be guaranty by formal techniques of validation, as the model-checking. However these techniques often lead to combinatory explosion problems. This paper proposes efficient abstractions of the timed automata model of TTA (Time-Triggered Architecture) in a temporal validation context.
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).
Fichier principal
Vignette du fichier
2005_JESA_Re-publiDeMSR05.pdf (147.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-00812571 , version 1 (12-04-2013)

Identifiers

Cite

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), 2005, 39 (1/3), pp.63-78. ⟨10.3166/jesa.39.63-78⟩. ⟨lirmm-00812571⟩
265 View
816 Download

Altmetric

Share

Gmail Facebook X LinkedIn More