Refinement and Consistency of Timed Modal Specifications.

Nathalie Bertrand 1 Sophie Pinchinat 2 Jean-Baptiste Raclet 3
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define timed modal specifications, an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.
Type de document :
Communication dans un congrès
3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. 〈10.1007/978-3-642-00982-2_13〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00424283
Contributeur : Nathalie Bertrand <>
Soumis le : mercredi 14 octobre 2009 - 17:34:42
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03

Lien texte intégral

Identifiants

Citation

Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. 〈10.1007/978-3-642-00982-2_13〉. 〈inria-00424283〉

Partager

Métriques

Consultations de la notice

427