A timed extension for ALTARICA

Franck Cassez*, Claire Pagetti, Olivier Roux

*Corresponding author for this work

Research output: Contribution to journalArticle

7 Citations (Scopus)

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 ALTARICA. Finally we give a translation of a ALTARICA specification into a usual timed automaton. These are the semantic foundations of a high-level hierarchical language for the specification of timed systems.

Original languageEnglish
Pages (from-to)291-332
Number of pages42
JournalFundamenta Informaticae
Volume62
Issue number3-4
Publication statusPublished - 2004
Externally publishedYes

Keywords

  • ALTARICA
  • Semantics
  • Timed Automata

Fingerprint Dive into the research topics of 'A timed extension for ALTARICA'. Together they form a unique fingerprint.

  • Cite this

    Cassez, F., Pagetti, C., & Roux, O. (2004). A timed extension for ALTARICA. Fundamenta Informaticae, 62(3-4), 291-332.