A timing model for specifying multi clock automotive systems: The timing augmented description language V2
Paper in proceeding, 2012

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.

Author

M.-A. Peraldi-Frati

Institut National de Recherche en Informatique et en Automatique (INRIA)

A. Goknil

Institut National de Recherche en Informatique et en Automatique (INRIA)

J. Deantoni

Institut National de Recherche en Informatique et en Automatique (INRIA)

Johan Nordlander

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris;18 July 2012 through20 July 2012

Article number 06299218 230-239

Subject Categories

Computer and Information Science

DOI

10.1109/ICECCS20050.2012.6299218

More information

Latest update

9/25/2023