A Compositional Approach on Modal Specifications for Timed Systems.

Nathalie Bertrand 1 Axel Legay 2 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 : 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.
Type de document :
Communication dans un congrès
11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00424356
Contributeur : Nathalie Bertrand <>
Soumis le : jeudi 15 octobre 2009 - 11:33:36
Dernière modification le : jeudi 11 janvier 2018 - 06:22:02

Identifiants

  • HAL Id : inria-00424356, version 1

Collections

Citation

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. Springer, 5885, pp.679-697, 2009, LNCS. 〈inria-00424356〉

Partager

Métriques

Consultations de la notice

422