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


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.


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)

Dates and versions

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


  • HAL Id : inria-00363026 , version 1


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


Gmail Facebook X LinkedIn More