inria-00418855, version 1
A Compositional Approach on Modal Specifications for Timed Systems
Nathalie Bertrand
a, 1Axel Legay a, 2Sophie Pinchinat b, 2Jean-Baptiste Raclet
a, 3
N° RR-7039 (2009)
Résumé : On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, time is a crucial aspect of systems for practical applications, e.g. in the area of embedded systems. And yet, only few results exist on the design of timed component-based systems. In this paper, we propose a timed extension of modal specifications, together with fundamental operations (conjunction, product, and quotient) that enable to reason in a compositional way about timed system. The specifications are given as modal event-clock automata, where clock resets are easy to handle. We develop an entire theory that promotes efficient incremental design techniques.
- a – INRIA
- b – Université Rennes I
- 1 : VERTECS (INRIA)
- INRIA
- 2 : S4 (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – INSA Rennes – Université de Rennes 1
- 3 : POP ART (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
- INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217
- Domaine : Informatique/Génie logiciel
- Mots-clés : Component-based system – interface-based design – timed modal specification – conjunction – product – residuation.
- Référence interne : RR-7039
- inria-00418855, version 1
- http://hal.inria.fr/inria-00418855
- oai:hal.inria.fr:inria-00418855
- Contributeur : Jean-Baptiste Raclet
- Soumis le : Mardi 22 Septembre 2009, 00:20:40
- Dernière modification le : Lundi 19 Octobre 2009, 13:37:30
Documents associés
Exporter