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.
Keywords
- Timing constraint language
- Automotive case studies
- Nonfunctional requirements
- EAST-ADL
- AUTOSAR
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
The ITEA TIMMO-2-USE Project, http://timmo-2-use.org/
Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing Safe, Reliable Systems Using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115–129. Springer, Heidelberg (2006)
AUTOSAR AUTomotive Open System Architecture, http://www.autosar.org
DeAntoni, J., Mallet, F., André, C.: TimeSquare: on the formal execution of UML and DSL models. Tool Session of the 4th Model Driven Development for Distributed Real Time Systems (2008)
EAST-ADL Language Specification, http://www.atesst.org/home/liblocal/docs/ATESST2_D4.1.1_EAST-ADL2-Specification_2010-06-02.pdf
Mallet, F., André, C., de Simone, R.: CCSL: Specifying Clock Constraints with UML/Marte. ISSE 4(3), 309–314 (2008)
Peraldi-Frati, M.-A., Goknil, A., Deantoni, J., Nordlander, J.: A Timing Language for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language. In: ICECCS 2012, Paris, France (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peraldi-Frati, MA., Goknil, A., Adedjouma, M., Gueguen, P.Y. (2012). Modeling a BSG-E Automotive System with the Timing Augmented Description Language. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)
