Skip to main content

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

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7610)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The ITEA TIMMO-2-USE Project, http://timmo-2-use.org/

  2. 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)

    CrossRef  Google Scholar 

  3. AUTOSAR AUTomotive Open System Architecture, http://www.autosar.org

  4. 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)

    Google Scholar 

  5. EAST-ADL Language Specification, http://www.atesst.org/home/liblocal/docs/ATESST2_D4.1.1_EAST-ADL2-Specification_2010-06-02.pdf

  6. Mallet, F., André, C., de Simone, R.: CCSL: Specifying Clock Constraints with UML/Marte. ISSE 4(3), 309–314 (2008)

    Google Scholar 

  7. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)