Skip to Main content Skip to Navigation
Conference papers

Marte CCSL to execute East-ADL Timing Requirements

Frédéric Mallet 1, * Marie-Agnès Peraldi-Frati 1 Charles André 1
* Corresponding author
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 : 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).
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00383262
Contributor : Frédéric Mallet <>
Submitted on : Tuesday, May 12, 2009 - 3:51:53 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, June 10, 2010 - 11:03:46 PM

File

EastMarte.pdf
Files produced by the author(s)

Identifiers

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. pp.249-253, ⟨10.1109/ISORC.2009.18⟩. ⟨inria-00383262⟩

Share

Metrics

Record views

582

Files downloads

528