Published October 13, 2012
| Version v1
Conference paper
Modeling a BSG-E Automotive System with the Timing Augmented Description language.
- Others:
- Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Delphi Technologies [Villepinte]
- TU Dortmund - EASST
- Tiziana Margaria and Bernhard Steffen
- European Project: ITEA 2 project 09033,TIMMO-2-USE(2010)
Citation
APA
Description
Modeling and analysis of time is a key issue for the correct development of automotive distributed embedded system. The paper presents the new extensions of the Time Augmented Description Language, applicable at the different abstraction levels of an EAST-ADL/AUTOSAR design, which enable a precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. In this paper, we highlight some critical issues for high-level modeling of time with the Delphi application of a Box Servitude Generic - External (BSG-E). This industrial example illustrates timing constraints coming from both hardware and software parts of the system
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-00757185
- URN
- urn:oai:HAL:hal-00757185v1
- Origin repository
- UNICA