Skip to main content

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis

  • Chapter
  • First Online:
Embedded Systems Development

Part of the book series: Embedded Systems ((EMSY,volume 20))

Abstract

This chapter presents a design space exploration method for mixed event-triggered and time-triggered real-time systems in the automotive domain. A design space exploration model is used that is capable of modeling and optimizing state-of-the-art automotive systems including the resource allocation, task distribution, message routing, and scheduling. The optimization is based on a heuristic approach that iteratively improves the system design. Within this iterative optimization it is necessary to analyze each system design where one of the major design objectives that needs to be evaluated is the timing behavior. Since timing analysis is a very complex design task with high computational demands, it might become a bottleneck within the design space exploration. As a remedy, a clustering strategy is presented that is capable of reducing the complexity and minimizing the runtime of the timing analysis. A case study gives evidence of the efficiency of the proposed approach.

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

Access this chapter

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

References

  1. Richter, K., Ziegenbein, D., Jersak, M., Ernst, R.: Model composition for scheduling analysis in platform design. In: Proceedings of the 39th Conference on Design Automation (DAC 2002), pp. 287–292 (2002)

    Google Scholar 

  2. Anssi, S., Albers, K., Dörfel, M., Gérard, S.: ChronVAL/ChronSIM: a tool suite for timing analysis of automotive applications. In: Proceedings of the Conference on Embedded Real-time Software and Systems (ERTS 2012) (2012)

    Google Scholar 

  3. Chakraborty, S., Kunzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2003), pp. 190–195 (2003)

    Google Scholar 

  4. Blickle, T., Teich, J., Thiele, L.: System-level synthesis using evolutionary algorithms. Des Autom. Embed. Syst. 3(1), 23–62 (1998)

    Article  Google Scholar 

  5. Lukasiewycz, M., Streubühr, M., Glaß, M., Haubelt, C., Teich, J.: Combined system synthesis and communication architecture exploration for MPSoCs. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2009), pp. 472–477 (2009)

    Google Scholar 

  6. Lukasiewycz, M., Glaß, M., Haubelt, C., Teich, J.: SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. In: Proceedings of CEC ’07, pp. 935–942 (2007)

    Google Scholar 

  7. Tindell, K., Burns, A., Wellings, A.: Calculating controller area network (CAN) message response times. Control Eng. Pract. 3, 1163–1169 (1995)

    Article  Google Scholar 

  8. Künzli, S., Hamann, A., Ernst, R., Thiele, L.: Combined approach to system level performance analysis of embedded systems. In: Proceedings of the 5th IEEE/ACM International Conference on Hardware/Software Codesign and System, Synthesis (CODES+ISSS 2007), pp. 63–68 (2007)

    Google Scholar 

  9. Schioler, H., Jessen, J., Nielsen, J.D., Larsen, K.G.: Network calculus for real time analysis of embedded systems with cyclic task dependencies. In: Proceedings of the 20th International Conference on Computers and Their Applications (CATA 2005), pp. 326–332 (2005)

    Google Scholar 

  10. Jonsson, B., Perathoner, S., Thiele, L., Yi, W.: Cyclic dependencies in modular performance analysis. In: Proceedings of the 8th ACM International Conference on Embedded software (EMSOFT 2008), pp. 179–188 (2008)

    Google Scholar 

  11. Aho, A.V., Hopcroft, J.E.: Ullman. Data Structures and Algorithms. Addison-Wesley, J.D. (1983)

    Google Scholar 

  12. Cheriyan, J., Mehlhorn, K.: Algorithms for dense graphs and networks on the random access computer. Algorithmica 15(6), 521–549 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  13. Sedgewick, R.: Algorithms in C, Part 5: Graph Algorithms. Addison-Wesley (2002)

    Google Scholar 

  14. Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146–160 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  15. Pop, T., Pop, P., Eles, P., Peng, Z., Andrei, A.: Timing analysis of the FlexRay communication protocol. Real-Time Syst. 39(1), 205–235 (2008)

    Article  MATH  Google Scholar 

  16. Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: Proceedings of the 9th ACM International Conference on Embedded software (EMSOFT 2009), pp. 107–116 (2009)

    Google Scholar 

Download references

Acknowledgments

This work was financially supported in part by the Singapore National Research Foundation under its Campus for Research Excellence And Technological Enterprise (CREATE) programme.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Martin Lukasiewycz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this chapter

Cite this chapter

Lukasiewycz, M., Glaß, M., Teich, J., Chakraborty, S. (2014). Exploration of Distributed Automotive Systems Using Compositional Timing Analysis. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds) Embedded Systems Development. Embedded Systems, vol 20. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-3879-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-3879-3_11

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-3878-6

  • Online ISBN: 978-1-4614-3879-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics