Skip to main content
SpringerLink
Log in

From Automotive to Autonomous: Time-Triggered Operating Systems

  • Conference paper
  • First Online:
Intelligent Interactive Multimedia Systems and Services 2016

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 55))

Abstract

This paper presents an approach for application of time-triggered paradigm to the domain of autonomous systems. Autonomous systems are intensively used in areas, or situations, which could be dangerous to humans or which are remote and hardly accessible. In the case when an autonomous system is safety critical and should react to the environmental changes running within a very limited time frame, we deal with the same kind of problems as automotive and avionic systems: timing properties and their analysis become a crucial part of the system development. To analyse timing properties and to show the fault-tolerance of the communication, a predictable timing of the system is needed.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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.

    German: Offene Systeme und deren Schnittstellen fr die Elektronik in Kraftfahrzeugen; English: Open Systems and their Interfaces for the Electronics in Motor Vehicles.

  2. 2.

    Vehicle Distributed eXecutive.

  3. 3.

    http://www.osek-vdx.org.

  4. 4.

    Core members of the consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW, Volkswagen, Daimler, and General Motors.

References

  1. aiT WCET Analyzer: Worst-Case Execution Time Analyzers. http://www.absint.com

  2. Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., Santen, T.: Survey of modeling and engineering aspects of self-adapting and self-optimizing systems. Technical Report TUM-I130307, TU München (2013)

    Google Scholar 

  3. Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Cyber-virtual systems: Simulation, validation and visualization. In: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014) (2014)

    Google Scholar 

  4. Blech, J.O., Spichkova, M., Peake, I., Schmidt, H.: Visualization, simulation and validation for cyber-virtual systems. In: Evaluation of Novel Approaches to Software Engineering, pp. 140–154. Springer International Publishing (2015)

    Google Scholar 

  5. Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20(6), 637–662 (2008)

    Article  MATH  Google Scholar 

  6. Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards modularized verification of distributed time-triggered systems. In: FM 2006: Formal Methods, pp. 163–178. Springer (2006)

    Google Scholar 

  7. Botaschanjan, J., Kof, L., Kühnel, C., Spichkova, M.: Towards verified automotive software. SIGSOFT Softw. Eng. Notes 30(4), 1–6 (2005)

    Article  Google Scholar 

  8. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)

    Google Scholar 

  9. Elbanhawi, M., Simic, M.: Examining the use of B-splines in parking assist systems. Appl. Mech. Mater. 490491 (2014)

    Google Scholar 

  10. Elbanhawi, M., Simic, M.: Sampling-based robot motion planning: a review. IEEE Access, 30(99) (2014)

    Google Scholar 

  11. Elbanhawi, M., Simic, M., Jazar, R.: Improved manoeuvring of autonomous passenger vehicles: Simulations and field results. J. Vib. Control (2015)

    Google Scholar 

  12. Elbanhawi, M., Simic, M., Jazar, R.: In the passenger seat: investigating ride comfort measures in autonomous cars. IEEE Intell. Transp. Syst. Mag. 7(3), 4–17 (2015)

    Article  Google Scholar 

  13. Elbanhawi, M., Simic, M., Jazar, R.: Randomized bidirectional b-spline parameterization motion planning. IEEE Trans. Intell. Transp. Syst. 17(2), 406–419 (2016)

    Article  Google Scholar 

  14. Feilkas, M., Fleischmann, A., Hölzl, F., Pfaller, C., Scheidemann, K., Spichkova, M., Trachtenherz, D.: A top-down methodology for the development of automotive software. Technical Report TUM-I0902, TU München (2009)

    Google Scholar 

  15. Feilkas, M., Hölzl, F., Pfaller, C., Rittmann, S., Schätz, B., Schwitzer, W., Sitou, W., Spichkova, M., Trachtenherz, D.: A refined top-down methodology for the development of automotive software systems—the KeylessEntry system case study. Technical Report TUM-I1103, TU München (2011)

    Google Scholar 

  16. Fredriksson, J., Nolte, T., Nolin, M., Schmidt, H.: Contract-based reusableworst-case execution time estimate. In: Embedded and Real-Time Computing Systems and Applications, pp. 39–46. IEEE (2007)

    Google Scholar 

  17. Hölzl, F., Spichkova, M., Trachtenherz, D.: Autofocus tool chain. Technical Report TUM-I1021, TU München (2010)

    Google Scholar 

  18. Kopetz, H.: A comparison of TTP/C and FlexRay. Technical Report, TU Wien (2001)

    Google Scholar 

  19. Kühnel, C., Spichkova, M.: FlexRay und FTCom: Formale Spezifikation in FOCUS. Technical Report TUM-I0601, TU München (2006)

    Google Scholar 

  20. Kühnel, C., Spichkova, M.: Upcoming automotive standards for fault-tolerant communication: FlexRay and OSEKtime FTCom. In: EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems (2006)

    Google Scholar 

  21. Kühnel, C., Spichkova, M.: Fault-tolerant communication for distributed embedded systems. In: Software Engineering of Fault Tolerance Systems, vol. 19, p. 175. World Scientific Publishing (2007)

    Google Scholar 

  22. Lu, K., Li, Q., Cheng, N.: An autonomous carrier landing system design and simulation for unmanned aerial vehicle. In: Guidance, Navigation and Control Conference (CGNCC), IEEE Chinese, pp. 1352–1356 (2014)

    Google Scholar 

  23. Nolte, T., Hansson, H., Bello, L.L.: Wireless automotive communications. In: Proceedings of the 4th International Workshop on Real-Time Networks (RTN?05), pp. 35–38 (2005)

    Google Scholar 

  24. OSEK/VDX: Fault-Tolerant Communication. Specification 1.0. http://portal.osek-vdx.org (2001)

  25. OSEK/VDX: Time-Triggered Operating System. Specification 1.0. http://portal.osek-vdx.org (2001)

  26. Rushby, J.: Systematic formal verification for fault-tolerant time-triggered algorithms. In: Dependable Computing for Critical Applications, vol. 11. IEEE (1997)

    Google Scholar 

  27. Simic, M.: Vehicle and public safety through driver assistance applications. In: Proceedings of the 2nd International Conference Sustainable Automotive Technologies (ICSAT 2010), vol. 490491, pp. 281–288 (2010)

    Google Scholar 

  28. Spichkova, M.: FlexRay: verification of the FOCUS specification in Isabelle/HOL. A case study. Technical Report TUM-I0602, TU München (2006)

    Google Scholar 

  29. Spichkova, M.: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Ph.D. thesis, TU München (2007)

    Google Scholar 

  30. Spichkova, M.: Human factors of formal methods. In: In IADIS Interfaces and Human Computer Interaction 2012. IHCI 2012 (2012)

    Google Scholar 

  31. Spichkova, M.: Design of formal languages and interfaces: “formal” does not mean “unreadable”. In: Blashki, K., Isaias, P. (eds.) Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global (2014)

    Google Scholar 

  32. Spichkova, M., Blech, J.O., Herrmann, P., Schmidt, H.: Modeling spatial aspects of safety-critical systems with FocusST. In: 11th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2014 (2014)

    Google Scholar 

  33. Spichkova, M., Campetelli, A.: Towards system development methodologies: from software to cyber-physical domain. In: First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS’12) (2012)

    Google Scholar 

  34. Spichkova, M., Hölzl, F., Trachtenherz, D.: Verified system development with the AutoFocus tool chain. In: 2nd Workshop on Formal Methods in the Development of Software, pp. 17–24. EPTCS (2012)

    Google Scholar 

  35. Spichkova, M., Liu, H., Laali, M., Schmidt, H.: Human factors in software reliability engineering. In: Workshop on Applications of Human Error Research to Improve Software Engineering. WAHESE’15 (2015)

    Google Scholar 

  36. Spichkova, M., Simic, M.: Towards formal modelling of autonomous systems. In: Intelligent Interactive Multimedia Systems and Services: 2015, KES-IIMSS, pp. 279–288. Springer (2015)

    Google Scholar 

  37. Spichkova, M., Zhu, X., Mou, D.: Do we really need to write documentation for a system? In: Model-Driven Engineering and Software Development (2013)

    Google Scholar 

  38. Verisoft XT Project. http://www.verisoftxt.de

Download references

Author information

Authors and Affiliations

  1. RMIT University, Melbourne, Australia

    Maria Spichkova, Milan Simic & Heinz Schmidt

Authors
  1. Maria Spichkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Milan Simic
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Heinz Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maria Spichkova .

Editor information

Editors and Affiliations

  1. Institute for High-Perfor Computing Netw, National Research Council of Italy, Naples, Italy

    Giuseppe De Pietro

  2. Institute for High-Perfo Computing Netwo, National Research Council of Italy, Naples, Italy

    Luigi Gallo

  3. KES International, Shoreham-by-sea, United Kingdom

    Robert J. Howlett

  4. University of Canberra, Canberra, South Australia, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Spichkova, M., Simic, M., Schmidt, H. (2016). From Automotive to Autonomous: Time-Triggered Operating Systems. In: Pietro, G., Gallo, L., Howlett, R., Jain, L. (eds) Intelligent Interactive Multimedia Systems and Services 2016. Smart Innovation, Systems and Technologies, vol 55. Springer, Cham. https://doi.org/10.1007/978-3-319-39345-2_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39345-2_30

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39344-5

  • Online ISBN: 978-3-319-39345-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation