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, 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.
Type de document :
Communication dans un congrès
Stefan van Baelen and Iulian Ober and Susanne Grafand and Mamoun Filali and Thomas Weige. Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2008, Toulouse, France. http://ceur-ws.org, 503, pp.129-144, 2008, First International Workshop on Model Based Architecting and Construction of Embedded Systems
Liste complète des métadonnées

https://hal.inria.fr/hal-00924390
Contributeur : Team Aoste <>
Soumis le : lundi 6 janvier 2014 - 17:06:19
Dernière modification le : lundi 5 octobre 2015 - 16:59:45

Identifiants

  • HAL Id : hal-00924390, version 1

Collections

Citation

Marie-Agnès Peraldi-Frati, Yves Sorel. From high-level modelling of time in MARTE to real-time scheduling analysis.. Stefan van Baelen and Iulian Ober and Susanne Grafand and Mamoun Filali and Thomas Weige. Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2008, Toulouse, France. http://ceur-ws.org, 503, pp.129-144, 2008, First International Workshop on Model Based Architecting and Construction of Embedded Systems. <hal-00924390>

Partager

Métriques

Consultations de la notice

264