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
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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00812571
Contributor : Karen Godary-Dejean <>
Submitted on : Friday, April 12, 2013 - 2:15:13 PM
Last modification on : Tuesday, November 19, 2019 - 12:04:16 PM
Long-term archiving on: Saturday, July 13, 2013 - 4:05:25 AM

File

2005_JESA_Re-publiDeMSR05.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

421

Files downloads

1091