Refinement and Consistency of Timed Modal Specifications. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Refinement and Consistency of Timed Modal Specifications.

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.

Dates and versions

inria-00424283 , version 1 (14-10-2009)

Identifiers

Cite

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⟩
197 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More