Skip to Main content Skip to Navigation

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 :
Complete list of metadata
Contributor : Claire Pagetti Connect in order to contact the contributor
Submitted on : Thursday, June 24, 2004 - 10:34:29 AM
Last modification on : Tuesday, September 21, 2021 - 4:12:10 PM
Long-term archiving on: : Friday, April 2, 2010 - 8:55:34 PM


  • HAL Id : tel-00006316, version 1


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⟩



Record views


Files downloads