Modeling a BSG-E Automotive System with the Timing Augmented Description language. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Résumé

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
Fichier non déposé

Dates et versions

hal-00757185 , version 1 (26-11-2012)

Identifiants

Citer

Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre-Yves Gueguen. Modeling a BSG-E Automotive System with the Timing Augmented Description language.. ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, TU Dortmund - EASST, Oct 2012, Amirandes, Héraklion, Greece. pp.111-125, ⟨10.1007/978-3-642-34032-1_14⟩. ⟨hal-00757185⟩
193 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More