Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/inria-00363026
Contributor : Franck Cassez <>
Submitted on : Friday, February 20, 2009 - 1:00:30 AM
Last modification on : Tuesday, September 8, 2020 - 9:30:04 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 10:44:21 PM

File

fi-timed-altarica.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00363026, version 1

Citation

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

Share

Metrics

Record views

277

Files downloads

236