A timed extension for AltaRica - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 2004

A timed extension for AltaRica

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
fi-timed-altarica.pdf (359.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00363026 , version 1

Citer

Franck Cassez, Claire Pagetti, Olivier Roux. A timed extension for AltaRica. Fundamenta Informaticae, 2004, 62 (3--4), pp.291--332. ⟨inria-00363026⟩
141 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More