Modeling a BSG-E Automotive System with the Timing Augmented Description language.

Marie-Agnès Peraldi-Frati 1 Arda Goknil 1 Morayo Adedjouma 2 Pierre-Yves Gueguen 2
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, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 Delphi Technologies [Villepinte]
Abstract : 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
Mots-clés : AUTOSAR Automotive case studies Timing constraint language EAST-ADL Non-functional requirements
Type de document :
Communication dans un congrès
Tiziana Margaria and Bernhard Steffen. ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Héraklion, Greece. Springer, Lecture Notes in Computer Science, 7610, pp.111-125, 2012, ISoLA 2012: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. 〈10.1007/978-3-642-34032-1_14〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00757185
Contributeur : Team Kairos <>
Soumis le : lundi 26 novembre 2012 - 14:25:50
Dernière modification le : lundi 5 novembre 2018 - 15:36:03

Identifiants

Collections

INRIA | I3S | UNICE | UNIV-COTEDAZUR | INRIA-ROCQ

Citation

Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre-Yves Gueguen. Modeling a BSG-E Automotive System with the Timing Augmented Description language.. Tiziana Margaria and Bernhard Steffen. ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Héraklion, Greece. Springer, Lecture Notes in Computer Science, 7610, pp.111-125, 2012, ISoLA 2012: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. 〈10.1007/978-3-642-34032-1_14〉. 〈hal-00757185〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

344

Contact


archive-ouverte@inria.fr