skip to main content
research-article

Robust Cause-Effect Chains with Bounded Execution Time and System-Level Logical Execution Time

Published:21 April 2023Publication History
Skip Abstract Section

Abstract

In automotive and industrial real-time software systems, the primary timing constraints relate to cause-effect chains. A cause-effect chain is a sequence of linked tasks and it typically implements the process of reading sensor data, computing algorithms, and driving actuators. The classic timing analysis computes the maximum end-to-end latency of a given cause-effect chain to verify that its end-to-end deadline can be satisfied in all cases. This information is useful but not sufficient in practice: Software is usually evolving and updates may always alter the maximum end-to-end latency. It would be desirable to judge the quality of a software design a priori by quantifying how robust the timing of a given cause-effect chain will be in the presence of software updates. In this article, we derive robustness margins which guarantee that if software extensions stay within certain bounds, then the end-to-end deadline of a cause-effect chain can still be satisfied. Robustness margins are also useful to know if the system model has uncertain parameters. A robust system design can tolerate bounded deviations from the nominal system model without violating timing constraints. The results are applicable to both the bounded execution time programming model and the (system-level) logical execution time programming model. In this article, we study both an industrial use case from the automotive industry and analyze synthetically generated experiments with our open-source tool TORO.

REFERENCES

  1. [1] 2021. Arm Cortex-A series processors. Retrieved April 4, 2022 from https://developer.arm.com/ip-products/processors/cortex-a.Google ScholarGoogle Scholar
  2. [2] 2021. AUTomotive Open System ARchitecture. Retrieved April 4, 2022 from https://www.autosar.org/.Google ScholarGoogle Scholar
  3. [3] 2021. AUTOSAR Adaptive Platform Release Overview. Retrieved April 4, 2022 from https://www.autosar.org/fileadmin/user_upload/standards/adaptive/21-11/AUTOSAR_TR_AdaptivePlatformReleaseOverview.pdf.Google ScholarGoogle Scholar
  4. [4] 2021. AUTOSAR Classic Platform Release Overview. Retrieved April 4, 2022 from https://www.autosar.org/fileadmin/user_upload/standards/classic/21-11/AUTOSAR_TR_ClassicPlatformReleaseOverview.pdf.Google ScholarGoogle Scholar
  5. [5] 2021. AUTOSAR Specification of Operating System Interface. Retrieved April 4, 2022 from https://www.autosar.org/fileadmin/user_upload/standards/adaptive/21-11/AUTOSAR_SWS_OperatingSystemInterface.pdf.Google ScholarGoogle Scholar
  6. [6] 2021. Infineon AURIX 32-bit multi core TriCore. Retrieved April 4, 2022 from https://www.infineon.com/cms/en/product/microcontroller/32-bit-tricore-microcontroller/aurix-safety-joins-performance/.Google ScholarGoogle Scholar
  7. [7] AG Basler. 2021. acA1300-30gm—Basler ace. (August 2021). Retrieved August 22, 2021 from https://www.baslerweb.com/en/products/cameras/area-scan-cameras/ace/aca1300-30gm/.Google ScholarGoogle Scholar
  8. [8] Becker Matthias, Dasari Dakshina, Mubeen Saad, Behnam Moris, and Nolte Thomas. 2016. Synthesizing job-level dependencies for automotive multi-rate effect chains. In Proceedings of the 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 159169.Google ScholarGoogle ScholarCross RefCross Ref
  9. [9] Becker Matthias, Dasari Dakshina, Mubeen Saad, Behnam Moris, and Nolte Thomas. 2017. End-to-end timing analysis of cause-effect chains in automotive embedded systems. Journal of Systems Architecture 80 (2017), 104113. https://www.sciencedirect.com/science/article/pii/S1383762117300681.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. [10] Becker Matthias and Mubeen Saad. 2018. Timing analysis driven design-space exploration of cause-effect chains in automotive systems. In Proceedings of the IECON 2018-44th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 40904095.Google ScholarGoogle ScholarCross RefCross Ref
  11. [11] Bini Enrico and Buttazzo Giorgio C.. 2005. Measuring the performance of schedulability tests. Real-Time Systems 30, 1-2 (2005), 129154.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. [12] AG Continental. 2019. Continental Vehicle Server Connects VW ID. Electric Vehicles. Retrieved September 20, 2021 from https://www.continental.com/en/press/press-releases/2019-11-12-icas-vw/.Google ScholarGoogle Scholar
  13. [13] Diemer Jonas, Axer Philip, and Ernst Rolf. 2012. Compositional performance analysis in python with pycpa. Proc. of WATERS (2012), 46.Google ScholarGoogle Scholar
  14. [14] Dürr Marco, Brüggen Georg Von Der, Chen Kuan-Hsun, and Chen Jian-Jia. 2019. End-to-end timing analysis of sporadic cause-effect chains in distributed systems. ACM Transactions on Embedded Computing Systems (TECS) 18, 5s (2019), 58.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. [15] Emberson Paul, Stafford Roger, and Davis Robert I.. 2010. Techniques for the synthesis of multiprocessor tasksets. In Proceedings of the 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS). 611.Google ScholarGoogle Scholar
  16. [16] Feiertag Nico, Richter Kai, Nordlander Johan, and Jonsson Jan. 2009. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In Proceedings of the IEEE Real-Time Systems Symposium: 30/11/2009-03/12/2009. IEEE Communications Society.Google ScholarGoogle Scholar
  17. [17] Forget Julien, Boniol Frédéric, Grolleau Emmanuel, Lesens David, and Pagetti Claire. 2010. Scheduling dependent periodic tasks without synchronization mechanisms. In Proceedings of the 16th Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 301310.Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. [18] Forget Julien, Boniol Frédéric, Lesens David, and Pagetti Claire. 2010. A real-time architecture design language for multi-rate embedded control systems. In Proceedings of the ACM Symposium on Applied Computing. ACM, 527534.Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. [19] Gemlau Kai-Björn, Köhler Leonie, and Ernst Rolf. 2020. A platform programming paradigm for heterogeneous systems integration. Proceedings of the IEEE 109, 4 (2020), 582603.Google ScholarGoogle ScholarCross RefCross Ref
  20. [20] Gemlau Kai-Björn, Köhler Leonie, Ernst Rolf, and Quinton Sophie. 2021. System-level logical execution time: Augmenting the logical execution time paradigm for distributed real-time automotive software. ACM Transactions on Cyber-Physical Systems 5, 2 (2021), 127.Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. [21] Girault Alain, Prévot Christophe, Quinton Sophie, Henia Rafik, and Sordon Nicolas. 2018. Improving and estimating the precision of bounds on the worst-case latency of task chains. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, 11 (2018), 25782589.Google ScholarGoogle ScholarCross RefCross Ref
  22. [22] Congress Green Car. 2019. Renesas advanced automotive SoC adopted by Continental for its body high-performance computer. (September 2021). Retrieved September 20, 2021 from https://www.greencarcongress.com/2020/07/20200708-renesas.html.Google ScholarGoogle Scholar
  23. [23] Hagberg Aric A., Schult Daniel A., and Swart Pieter J.. 2008. Exploring network structure, dynamics, and function using NetworkX. In Proceedings of the 7th Python in Science Conference. Pasadena, CA, 1115.Google ScholarGoogle Scholar
  24. [24] Henia Rafik, Hamann Arne, Jersak Marek, Racu Razvan, Richter Kai, and Ernst Rolf. 2005. System level performance analysis–the SymTA/S approach. IEEE Proceedings-Computers and Digital Techniques 152, 2 (2005), 148166.Google ScholarGoogle ScholarCross RefCross Ref
  25. [25] Hennig Julien, Hasseln Hermann von, Mohammad Hassan, Resmerita Stefan, Lukesch Stefan, and Naderlinger Andreas. 2016. Towards parallelizing legacy embedded control software using the LET programming paradigm. In Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 11.Google ScholarGoogle ScholarCross RefCross Ref
  26. [26] Henzinger Thomas A., Horowitz Benjamin, and Kirsch Christoph M.. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91, 1 (2003), 8499.Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. [27] Kirsch Christoph M. and Sokolova Ana. 2012. The logical execution time paradigm. In Proceedings of the Advances in Real-Time Systems. Springer, 103120.Google ScholarGoogle ScholarCross RefCross Ref
  28. [28] Kordon Alix and Tang Ning. 2020. Evaluation of the age latency of a real-time communicating system using the LET paradigm. In Proceedings of the ECRTS 2020, Vol. 165. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.Google ScholarGoogle Scholar
  29. [29] Kramer Simon, Ziegenbein Dirk, and Hamann Arne. 2015. Real world automotive benchmarks for free. In Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS).Google ScholarGoogle Scholar
  30. [30] Boudec Jean-Yves Le and Thiran Patrick. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, Vol. 2050. Springer Science & Business Media.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. [31] Martinez Jorge, Sañudo Ignacio, and Bertogna Marko. 2018. Analytical characterization of end-to-end communication delays with logical execution time. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, 11 (2018), 22442254.Google ScholarGoogle ScholarCross RefCross Ref
  32. [32] Ohl Sebastian and Tennert Felix. 2017. Entwicklung von hochautomatisierten Fahrfunktionen durch flexibles Software-Framework. ATZExtra 22, 18 (July2017), 1821. DOI:Google ScholarGoogle ScholarCross RefCross Ref
  33. [33] Pagetti Claire, Forget Julien, Boniol Frédéric, Cordovilla Mikel, and Lesens David. 2011. Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems 21, 3 (2011), 307338.Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. [34] Puffitsch Wolfgang, Noulard Eric, and Pagetti Claire. 2015. Off-line mapping of multi-rate dependent task sets to many-core platforms. Real-Time Systems 51, 5 (2015), 526565.Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. [35] Rajeev A. C., Mohalik Swarup, Dixit Manoj G., Chokshi Devesh B., and Ramesh S.. 2010. Schedulability and end-to-end latency in distributed ecu networks: Formal modeling and precise estimation. In Proceedings of the 10th ACM International Conference on Embedded Software. 129138.Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. [36] Corporation Renesas Electronics. 2021. R-Car H3e/H3e-2G High-end Automotive System-on-Chip (SoC) for In-vehicle Infotainment and Integrated Cockpit. (August 2021). Retrieved August 22, 2021 from https://www.renesas.com/us/en/products/automotive-products/automotive-system-chips-socs/r-car-h3e-r-car-h3e-h3e-2g-high-end-automotive-system-chip-soc-vehicle-infotainment-and-integrated-cockpit.Google ScholarGoogle Scholar
  37. [37] Schlatow Johannes and Ernst Rolf. 2016. Response-time analysis for task chains in communicating threads. In Proceedings of the 2016 IEEE Real-Time and Embedded Technology and App. Symposium (RTAS). IEEE, 110.Google ScholarGoogle ScholarCross RefCross Ref
  38. [38] Schlatow Johannes, Moestl Mischa, Tobuschat Sebastian, Ishigooka Tasuku, and Ernst Rolf. 2018. Data-age analysis and optimisation for cause-effect chains in automotive control systems. In Proceedings of the 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES). IEEE, 19.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Robust Cause-Effect Chains with Bounded Execution Time and System-Level Logical Execution Time

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM Transactions on Embedded Computing Systems
          ACM Transactions on Embedded Computing Systems  Volume 22, Issue 3
          May 2023
          546 pages
          ISSN:1539-9087
          EISSN:1558-3465
          DOI:10.1145/3592782
          • Editor:
          • Tulika Mitra
          Issue’s Table of Contents

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 21 April 2023
          • Online AM: 6 December 2022
          • Accepted: 27 November 2022
          • Revised: 8 September 2022
          • Received: 29 April 2022
          Published in tecs Volume 22, Issue 3

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • research-article
        • Article Metrics

          • Downloads (Last 12 months)193
          • Downloads (Last 6 weeks)26

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Full Text

        View this article in Full Text.

        View Full Text

        HTML Format

        View this article in HTML Format .

        View HTML Format
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!