A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2

Marie-Agnès Peraldi-Frati 1 Arda Goknil Julien Deantoni 1 Johan Nordlander
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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Precise timing constraint modeling and analysis is a key point for the correct development of automotive electronics. EAST-ADL and AUTOSAR has been adopted as standards in automotive industry. These standards have recently adopted TADL (Time Augmented Description Language), a timing model for expressing timing constraints. Its current use highlighted different issues, mainly concerning the integration of parameterized multi rate and multi-clock systems. This paper presents new extensions, aligned on AUTOSAR and EAST-ADL, to solve these issues: a support for symbolic timing expression including multi time base description and complex timing constraints. These extensions are applicable at different abstraction levels during design and enable precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. This work has been conducted in the ITEA TIMMO-2-USE project.
Type de document :
Communication dans un congrès
ICECCS 2012 : International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, 10 p., 2012, Proceeding of the 17th ICECCS conference
Liste complète des métadonnées
https://hal.inria.fr/hal-00687562
Contributeur : Team Aoste <>
Soumis le : vendredi 13 avril 2012 - 15:10:08
Dernière modification le : lundi 5 octobre 2015 - 16:57:53

Identifiants

  • HAL Id : hal-00687562, version 1

Collections

INRIA | I3S | UNICE

Citation

Marie-Agnès Peraldi-Frati, Arda Goknil, Julien Deantoni, Johan Nordlander. A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2. ICECCS 2012 : International Conference on Engineering of Complex Computer Systems, Jul 2012, Paris, France. IEEE, 10 p., 2012, Proceeding of the 17th ICECCS conference. 〈hal-00687562〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

349

Contact


archive-ouverte@inria.fr