Skip to Main content Skip to Navigation
Conference papers

From high-level modelling of time in MARTE to real-time scheduling analysis.

Marie-Agnès Peraldi-Frati 1 Yves Sorel 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : An important challenge in the domain of automotive control design is to provide a seamless flow for modelling conjointly with the behaviour, the temporal characteristics and the timing constraints of a system at different abstraction levels. In addition, this flow should provide analysis phases for validating the real-time behaviour of the functional models in regard to these constraints and a specific execution platform, To achieve this goal, we adopt a model-based approach, based on the UML MARTE profile [1], that allows the modelling of a system, with a separation of concerns between the software (functional model) and the execution platform resources (non-functional model) as well as the timing constraints (non-functional model). The temporal characteristics (offset, period) and timing constraints (deadline) are modelled with a high level notion of time called the logical time at the functional level down to the physical time called the chronometric time at the implementation level. From these high-level models we extract the temporal characteristics and the timing constraints of the application relatively to the execution platform, and we apply scheduling analysis techniques in order to provide an implementation which satisfies the timing constraints.
Document type :
Conference papers
Complete list of metadata
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Monday, January 6, 2014 - 5:06:19 PM
Last modification on : Friday, January 21, 2022 - 3:16:09 AM


  • HAL Id : hal-00924390, version 1



Marie-Agnès Peraldi-Frati, Yves Sorel. From high-level modelling of time in MARTE to real-time scheduling analysis.. Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, IRIT, Sep 2008, Toulouse, France. pp.129-144. ⟨hal-00924390⟩



Les métriques sont temporairement indisponibles