Skip to Main content Skip to Navigation
New interface
Conference papers

Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare

Abstract : Modeling and analysis of non-functional properties are central concerns in distributed real-time embedded systems. In automotive domain, EAST-ADL is one of the main architectural modeling approaches for real-time embedded systems. In our previous work we introduced the Timing Augmented Description Language V2 (TADL2), which is the new release of the time model for EAST-ADL. It provides new modeling capabilities such as explicit notion of timebase and symbolic timing expressions. In this paper we propose an approach to simulate and analyze TADL2 timing constraints. The formal semantics of TADL2 is given by an exogenous model transformation in QVTo to the Clock Constraint Specification Language (CCSL), a formal language that implements the MARTE Time Model. With this transformation, the analysis of TADL2 constraints become possible through TIMESQUARE framework dedicated to the analysis of CCSL specifications. The approach is illustrated on the Brake-By-Wire example.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Wednesday, August 7, 2013 - 5:45:51 PM
Last modification on : Thursday, August 4, 2022 - 4:54:24 PM
Long-term archiving on: : Friday, November 8, 2013 - 4:24:17 AM


Files produced by the author(s)


  • HAL Id : hal-00850673, version 1



Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare. ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. ⟨hal-00850673⟩



Record views


Files downloads