Skip to Main content Skip to Navigation
Reports

A Compositional Approach on Modal Specifications for Timed Systems

Nathalie Bertrand 1 Axel Legay 2 Sophie Pinchinat 2 Jean-Baptiste Raclet 3, *
* Corresponding author
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
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
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.
Document type :
Reports
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00418855
Contributor : Jean-Baptiste Raclet <>
Submitted on : Tuesday, September 22, 2009 - 12:20:40 AM
Last modification on : Wednesday, February 10, 2021 - 3:34:22 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:58:42 PM

Files

RR-7039.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00418855, version 1

Citation

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. [Research Report] RR-7039, INRIA. 2009. ⟨inria-00418855⟩

Share

Metrics

Record views

710

Files downloads

448