Marte CCSL to execute East-ADL Timing Requirements

Frédéric Mallet 1, * Marie-Agnès Peraldi-Frati 1 Charles André 1
* Auteur correspondant
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 : In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to provide a set of abstract modeling and analysis services on top of the implementation code. In an effort to make all these languages, and more importantly their underlying models, interoperable, we use the UML Profile for MARTE as a pivot to define the semantics of these models. In this paper, we particularly focus on East-ADL2. We discuss the benefits of having an integrated, MARTE-centered, approach. We give a formal semantics of East-ADL2 timing requirements. Relying on this semantics, several kinds of analysis are possible. Requirements become executable and simulations are run. A constraint solver is used to detect logical inconsistencies. Our proposal is illustrated on an Anti-lock Braking System (ABS).
Type de document :
Communication dans un congrès
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.249-253, 2009, 〈10.1109/ISORC.2009.18〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00383262
Contributeur : Frédéric Mallet <>
Soumis le : mardi 12 mai 2009 - 15:51:53
Dernière modification le : lundi 5 octobre 2015 - 16:57:17
Document(s) archivé(s) le : jeudi 10 juin 2010 - 23:03:46

Fichier

EastMarte.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL to execute East-ADL Timing Requirements. Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. IEEE, pp.249-253, 2009, 〈10.1109/ISORC.2009.18〉. 〈inria-00383262〉

Partager

Métriques

Consultations de
la notice

312

Téléchargements du document

221