A timed extension for AltaRica - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Fundamenta Informaticae Year : 2004

A timed extension for AltaRica

Abstract

In this paper we present a timed extension of the AltaRica formalism. Following previous works, we first extend the semantics of AltaRica with time and define timed components and timed nodes. Moreover we lift the priority features of AltaRica to the timed case. We obtain a timed version of AltaRica, called Timed AltaRica. Finally we give a translation of a Timed AltaRica specification into a usual timed automaton. These are the semantic foundations of a high-level hierarchical language for the specification of timed systems.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
fi-timed-altarica.pdf (359.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00363026 , version 1 (20-02-2009)

Identifiers

  • HAL Id : inria-00363026 , version 1

Cite

Franck Cassez, Claire Pagetti, Olivier Roux. A timed extension for AltaRica. Fundamenta Informaticae, 2004, 62 (3--4), pp.291--332. ⟨inria-00363026⟩
141 View
127 Download

Share

Gmail Facebook X LinkedIn More