Modeling a BSG-E automotive system with the timing augmented description language

Authors:
Marie-Agnès Peraldi-Frati;Arda Goknil;Morayo Adedjouma;Pierre Yves Gueguen
Affiliations:
AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France;AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France;Delphi, Villepinte, France;Delphi, Villepinte, France
Venue:
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Year:
2012

Citing 2
Cited 1

Designing safe, reliable systems using scade

ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2

ICECCS '12 Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems

Timing constraints: theory meets practice

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling and analysis of time is a key issue for the correct development of an automotive distributed embedded system. The paper presents new extensions of the Time Augmented Description Language (TADL), applicable at different abstraction levels of an EAST-ADL/AUTOSAR design. The new extensions enable a precise modeling of multi clock characteristics of distributed systems together with parameterized timing expressions. In this paper, we highlight some critical issues for the high---level time modeling of a Box Servitude Generic-External (BSG-E) provided by Delphi. This industrial example illustrates timing constraints coming from both hardware and software parts of the system.