Skip to Main content Skip to Navigation
Theses

Extension temps réel d'AltaRica

Abstract : This work extends the research on the high level description language AltaRica. This language allows the modelling of real systems in a hierarchic way. The target of the phd thesis consisted in adding the quantitative time in order to modelize real time systems, i.e. systems dealing with time constraints.
Two extensions are proposed: a timed and a hybrid one. These extensions respect the original features such as hierarchy, synchronized product, shared variables or static priority on events. Furthermore, we add two modelling operators, urgency and timed priorities, which facilitate the description of particular real time behaviour.
A complete formal study have been realized on the semantics, the expressive power of the real time AltaRica languages and a automatical manner to translate such models into classical formalisms like hybrid automata. These algorithms use the flattening of models.
Finally, a prototype has been realized on the timed extension in order to modelize some real systems. This prototype flattens Timed AltaRica models and then translates them into timed automata. We thus have been able to verify some property with UPPAAL.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00006316
Contributor : Claire Pagetti <>
Submitted on : Thursday, June 24, 2004 - 10:34:29 AM
Last modification on : Tuesday, September 8, 2020 - 9:30:04 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:55:34 PM

Identifiers

  • HAL Id : tel-00006316, version 1

Citation

Claire Pagetti. Extension temps réel d'AltaRica. Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN); Université de Nantes, 2004. Français. ⟨tel-00006316⟩

Share

Metrics

Record views

501

Files downloads

630