Marte CCSL and East-ADL2 Timing Requirements

Frédéric Mallet 1 Marie-Agnès Peraldi-Frati 1 Charles André 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 : 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 become 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 :
Rapport
[Research Report] RR-6781, INRIA. 2008
Liste complète des métadonnées


https://hal.inria.fr/inria-00348134
Contributeur : Frédéric Mallet <>
Soumis le : mercredi 17 décembre 2008 - 18:32:28
Dernière modification le : samedi 17 septembre 2016 - 01:36:43
Document(s) archivé(s) le : mardi 8 juin 2010 - 17:41:49

Fichier

RR-6781.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00348134, version 1

Collections

Citation

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André. Marte CCSL and East-ADL2 Timing Requirements. [Research Report] RR-6781, INRIA. 2008. <inria-00348134>

Partager

Métriques

Consultations de
la notice

393

Téléchargements du document

176