Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Wednesday, October 14, 2009 - 5:34:42 PM
Last modification on : Wednesday, July 6, 2022 - 4:12:56 AM

Links full text



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. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩. ⟨inria-00424283⟩



Record views