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.
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 62 (3--4), pp.291--332
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00363026
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:00:30
Dernière modification le : mercredi 16 mai 2018 - 11:48:04
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:44:21

Fichier

fi-timed-altarica.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

197

Téléchargements de fichiers

115