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

https://hal.inria.fr/inria-00424283
Contributor : Nathalie Bertrand <>
Submitted on : Wednesday, October 14, 2009 - 5:34:42 PM
Last modification on : Tuesday, June 15, 2021 - 4:18:06 PM

Links full text

Identifiers

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

Share

Metrics

Record views

527