A Compositional Approach on Modal Specifications for Timed Systems. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Compositional Approach on Modal Specifications for Timed Systems.

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.
Fichier non déposé

Dates et versions

inria-00424356 , version 1 (15-10-2009)

Identifiants

  • HAL Id : inria-00424356 , version 1

Citer

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems.. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697. ⟨inria-00424356⟩
216 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More