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.
Type de document :
Communication dans un congrès
ICECCS'2013 - 18th International Conference on Engineering of Complex Computer Systems, Jul 2013, Singapore, Singapore. 2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00850673
Contributeur : Team Aoste <>
Soumis le : mercredi 7 août 2013 - 17:45:51
Dernière modification le : vendredi 2 septembre 2016 - 01:04:20
Document(s) archivé(s) le : vendredi 8 novembre 2013 - 04:24:17

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00850673, version 1

Collections

Citation

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. 2013. <hal-00850673>

Partager

Métriques

Consultations de
la notice

528

Téléchargements du document

290