Marte CCSL to Execute East-ADL Timing Requirements

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).

[1]  Duncan Clarke,et al.  Schedulability analysis of AADL models , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[2]  Charles André,et al.  Marte CCSL and East-ADL2 Timing Requirements , 2008 .

[3]  Sébastien Gérard,et al.  Managing Complexity of Automotive Electronics Using the EAST-ADL , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[4]  Robert de Simone,et al.  Modeling AADL Data Communications with UML MARTE , 2008 .

[5]  Peter Braun,et al.  A Model-Based Approach for Automotive Software Development , 2001, OMER.

[6]  Kai Richter.  Defining a Timing Model for AUTOSAR - Status and Challenges , 2008, Software Engineering.

[7]  Robert de Simone,et al.  Modeling time(s) , 2007, MODELS'07.

[8]  Ieee Standards Board.  IEEE standard verilog hardware description language , 2001 .

[9]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .