Skip to main content
SpringerLink
Log in

Model-Based Timing Analysis of Automotive Use Case Developed in UML

  • Conference paper
  • First Online:
Evaluation of Novel Approaches to Software Engineering (ENASE 2020)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1375))

  • 854 Accesses

Abstract

Development of AUTOSAR-based systems using UML tools is gaining significant attention in the automotive industry. In this context, incorporating an early and automated model-based timing analysis of such systems in state-of-the-practice timing analysis tools is a significant step towards automated tooling for Verification & Validation (V&V) in the AUTOSAR-based development process; nevertheless is missing. Addressing this aspect, a workflow for early model-based timing analysis of AUTOSAR models is outlined. A detailed discussion of the model transformations for extracting a timing analysis model from a timing annotated AUTOSAR-based design model is presented in this book chapter. Further, a detailed case study of an automotive use case is presented and evaluated step-by-step by employing the outlined workflow. An early model-based timing analysis of the use case developed in UML is discussed in detail.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Notes

  1. 1.

    An embedded system that controls one or more of the electrical systems or subsystems in a vehicle.

  2. 2.

    http://www.event-b.org/index.html.

  3. 3.

    https://www.eclipse.org/app4mc/.

  4. 4.

    https://www.artop.org/.

  5. 5.

    https://www.destatis.de/.

  6. 6.

    https://www.asam.net/.

References

  1. Anssi, S., Gérard, S., Kuntz, S., Terrier, F.: AUTOSAR vs. MARTE for enabling timing analysis of automotive applications. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 262–275. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25264-8_20

    Chapter  Google Scholar 

  2. Anssi, S., Tucci-Piergiovanni, S., Kuntz, S., Gérard, S., Terrier, F.: Enabling scheduling analysis for AUTOSAR systems. In: ISORC 2011, pp. 152–159. IEEE (2011)

    Google Scholar 

  3. Atlas Transformation Language (ATL) Technology. https://www.eclipse.org/atl/. Accessed 20 June 2020

  4. Automotive Open System Architecture. http://www.autosar.org/. Accessed 16 June 2020

  5. AUTOSAR: Specification of timing extensions (2017). https://www.autosar.org/fileadmin/user_upload/standards/classic/4-3/AUTOSAR_TPS_TimingExtensions.pdf. Accessed Jan 2020

  6. AUTOSAR: Release 4.4.0: Methodology and templates (2018). https://www.autosar.org/standards/classic-platform/classic-platform-440/. Accessed Nov 2019

  7. Becker, M., Dasari, D., Mubeen, S., Behnam, M., Nolte, T.: End-to-end timing analysis of cause-effect chains in automotive embedded systems. J. Syst. Archit. 80, 104–113 (2017)

    Article  Google Scholar 

  8. Bhasker, J.: A SystemC Primer. Star Galaxy (2010)

    Google Scholar 

  9. Enterprise Architect tool. http://www.sparxsystems.com/. Accessed 25 June 2020

  10. Ficek, C., Feiertag, N., Richter, K., Jersak, M.: Applying the AUTOSAR timing protection to build safe and efficient ISO 26262 mixed-criticality systems. In: Proceedings of ERTS (2012)

    Google Scholar 

  11. GLIWA Embedded Systems-Timing suite T1. https://www.gliwa.com/. Accessed 20 June 2020

  12. Harbour, M.G., García, J.G., Gutiérrez, J.P., Moyano, J.D.: Mast: modeling and analysis suite for real time applications. In: 13th Euromicro Conference on Real-Time Systems, pp. 125–134. IEEE (2001)

    Google Scholar 

  13. van der Horst, R., Hogema, J.: Time-to-collision and collision avoidance systems. In: Proceedings of the 6th ICTCT Workshop (1993)

    Google Scholar 

  14. IBM Software: IBM rational rhapsody developer. https://www.ibm.com/products/systems-design-rhapsody. Accessed 25 June 2020

  15. INCHRON: chronSIM (2019). https://www.inchron.com/tool-suite/chronsim.html. Accessed Nov 2019

  16. Iyenghar, P., Pulvermueller, E.: A model-driven workflow for energy-aware scheduling analysis of IoT-enabled use cases. IEEE Internet Things J. 5(6), 4914–4925 (2018). https://doi.org/10.1109/JIOT.2018.2879746

    Article  Google Scholar 

  17. Iyenghar, P., Huning, L., Pulvermüller, E.: Automated end-to-end timing analysis of autosar-based causal event chains. In: Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE, Czech Republic, pp. 477–489 (2020)

    Google Scholar 

  18. Iyenghar, P., Huning, L., Pulvermüller, E.: Early synthesis of timing models in autosar-based automotive embedded software systems. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, pp. 26–38. SCITEPRESS (2020)

    Google Scholar 

  19. Kim, J.H., Kang, I., Kang, S., Boudjadar, A.: A process algebraic approach to resource-parameterized timing analysis of automotive software architectures. IEEE Trans. Ind. Inform. 12(2), 655–671 (2016)

    Article  Google Scholar 

  20. Kusano, K.D., Gabler, H.: Method for estimating time to collision at braking in real-world, lead vehicle stopped rear-end crashes for use in pre-crash system design. SAE Int. J. 4(1), 435–443 (2011)

    Google Scholar 

  21. Luxoft - Symtavision: Timing analysis solutions (2019). https://auto.luxoft.com/uth/timing-analysis-tools/. Accessed Nov 2019

  22. MARTE profile. https://www.omg.org/spec/MARTE/About-MARTE/. Accessed 25 June 2020

  23. Mathworks Products. https://www.mathworks.com/. Accessed 20 June 2020

  24. Mubeen, S., Nolte, T., Sjödin, M., Lundbäck, J., Lundbäck, K.L.: Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints. J. Softw. Syst. Model. 18, 36–69 (2019). https://doi.org/10.1007/s10270-017-0579-8

    Article  Google Scholar 

  25. Navet, N., Simonot-Lion, F. (eds.): Automotive Embedded Systems Handbook. CRC Press, Boco Raton (2009)

    Google Scholar 

  26. Object Management Group. http://www.omg.org. Accessed 25 June 2020

  27. Peraldi-Frati, M.A., Blom, H., Karlsson, D., Kuntz, S.: Timing modeling with AUTOSAR - current state and future directions. In: DATE (2012)

    Google Scholar 

  28. Scheickl, O., Ainhauser, C., Gliwa, P.: Tool support for seamless system development based on AUTOSAR timing extensions. In: Proceedings of Embedded Real-Time Software Congress (ERTS) (2012)

    Google Scholar 

  29. Singhoff, F., Legrand, J., Nana, L., Marcé, L.: Cheddar: a flexible real time scheduling framework. In: ACM SIGAda Ada Letters, vol. 24–4. ACM (2004)

    Google Scholar 

  30. Sugimoto, Y., Sauer, C.: Effectiveness estimation method for advanced driver assistance system and its application to collision mitigation brake system. In: 19th International Technical Conference Enhanced Safety Vehicles (2005)

    Google Scholar 

  31. Timing Architects Tool. https://www.timing-architects.com/. Accessed 20 June 2020

Download references

Acknowledgements

This work is supported by grants ZF4447201BZ7 and KF2312004KM4 from BMWi-ZIM co-operation, Germany.

Author information

Authors and Affiliations

  1. Software Engineering Research Group, University of Osnabrueck, Osnabrück, Germany

    Padma Iyenghar, Lars Huning & Elke Pulvermueller

Authors
  1. Padma Iyenghar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lars Huning
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elke Pulvermueller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Padma Iyenghar .

Editor information

Editors and Affiliations

  1. Hamad Bin Khalifa University, Doha, Qatar

    Raian Ali

  2. TU Wien, Vienna, Austria

    Hermann Kaindl

  3. Wrocław University of Economics Institute of Business Informatics, Wrocław, Poland

    Leszek A. Maciaszek

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Iyenghar, P., Huning, L., Pulvermueller, E. (2021). Model-Based Timing Analysis of Automotive Use Case Developed in UML. In: Ali, R., Kaindl, H., Maciaszek, L.A. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2020. Communications in Computer and Information Science, vol 1375. Springer, Cham. https://doi.org/10.1007/978-3-030-70006-5_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-70006-5_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-70005-8

  • Online ISBN: 978-3-030-70006-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation