Marte CCSL to Execute East-ADL Timing Requirements

10 years 10 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet 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, MARTEcentered, approach. We give a formal semantics of EastADL2 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).
Frédéric Mallet, Marie-Agnès
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Authors Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André
Comments (0)