Document Open Access Logo

Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications

Authors Martin Schoeberl , Ehsan Khodadad , Shaokai Lin , Emad Jacob Maroun , Luca Pezzarossa, Edward A. Lee

PDF
Thumbnail PDF

File

OASIcs.WCET.2024.4.pdf
  • Filesize: 0.58 MB
  • 13 pages

Document Identifiers

Author Details

Martin Schoeberl
  • Technical University of Denmark, Lyngby, Denmark
Ehsan Khodadad
  • Technical University of Denmark, Lyngby, Denmark
Shaokai Lin
  • University of California, Berkeley, CA, USA
Emad Jacob Maroun
  • Technical University of Denmark, Lyngby, Denmark
Luca Pezzarossa
  • Technical University of Denmark, Lyngby, Denmark
Edward A. Lee
  • University of California, Berkeley, CA, USA

Funding

  • Maroun, Emad Jacob: Huawei Technologies Sweden AB, Agreement Number TC20220819029.

Cite AsGet BibTex

Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, and Edward A. Lee. Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. In 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024). Open Access Series in Informatics (OASIcs), Volume 121, pp. 4:1-4:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/OASIcs.WCET.2024.4

Abstract

Real-time systems need to prove that all deadlines will be met. To enable this proof, the full stack of the system must be analyzable, and the right tools must be available. This includes the processor (execution platform), the runtime system, the compiler, and the WCET analysis tool. This paper presents a combination of the time-predictable processor Patmos, the coordination language Lingua Franca, and the WCET analysis tool Platin. We show how carefully written Lingua Franca programs enable static WCET analysis to build safety-critical applications.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Software and its engineering → Automated static analysis
Keywords
  • worst-case execution time
  • coordination language
  • real-time systems
  • lingua franca

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Supplementary Materials

References

  1. aiT webpage. Online at https://www.absint.com/ait/. Accessed: 07 June 2024.
  2. Bound-T webpage. Online at http://www.bound-t.com/. Accessed: 07 June 2024.
  3. MISRA webpage. Online at https://misra.org.uk/. Accessed: 07 June 2024.
  4. RapiTime webpage. Online at https://www.rapitasystems.com/products/rapitime. Accessed: 07 June 2024.
  5. Lingua franca website:. http://www.lf-lang.org/, 2024.
  6. Philipp Degasperi, Stefan Hepp, Wolfgang Puffitsch, and Martin Schoeberl. A method cache for Patmos. In Proceedings of the 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2014), pages 100-108, Reno, Nevada, USA, June 2014. IEEE. URL: https://doi.org/10.1109/ISORC.2014.47.
  7. Stephen Edwards and Edward Lee. The case for the precision timed (PRET) machine. In 2007 44th ACM/IEEE Design Automation Conference, pages 264-265, July 2007. URL: https://ieeexplore.ieee.org/abstract/document/4261184.
  8. Damien Hardy, Benjamin Rouxel, and Isabelle Puaut. The Heptane Static Worst-Case Execution Time Estimation Tool. In Jan Reineke, editor, 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), volume 57 of Open Access Series in Informatics (OASIcs), pages 8:1-8:12, Dagstuhl, Germany, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/OASIcs.WCET.2017.8.
  9. Reinhold Heckmann and Christian Ferdinand. Worst-case execution time prediction by static program analysis. Technical report, AbsInt Angewandte Informatik GmbH, 2013. [Online, last accessed November 2013]. Google Scholar
  10. Stefan Hepp, Benedikt Huber, Jens Knoop, Daniel Prokesch, and Peter P. Puschner. The platin tool kit - the T-CREST approach for compiler and WCET integration. In Proceedings 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung, KPS 2015, Pörtschach, Austria, October 5-7, 2015, 2015. Google Scholar
  11. Carl Hewitt, Peter Bishop, and Richard Steiger. A universal modular actor formalism for artificial intelligence. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI'73, pages 235-245, San Francisco, CA, USA, 1973. Morgan Kaufmann Publishers Inc. Google Scholar
  12. Niklas Holsti, Thomas Långbacka, and Sami Saarinen. Bound-T time and stack analyzer, reference manual. Technical report, Tidorum Ltd, 2013. available at URL: http://www.bound-t.com/manuals/ref-manual.pdf.
  13. Benedikt Huber, Stefan Hepp, and Martin Schoeberl. Scope-based method cache analysis. In Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), pages 73-82, Madrid, Spain, July 2014. URL: https://doi.org/10.4230/OASIcs.WCET.2014.73.
  14. Erling R. Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, and Martin Schoeberl. Interpret: A time-predictable multicore processor. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week '23, pages 331-336, New York, NY, USA, 2023. Association for Computing Machinery. URL: https://doi.org/10.1145/3576914.3587497.
  15. Alexander Jordan, Florian Brandner, and Martin Schoeberl. Static analysis of worst-case stack cache behavior. In Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS 2013), pages 55-64, New York, NY, USA, 2013. ACM. URL: https://doi.org/10.1145/2516821.2516828.
  16. Ehsan Khodadad, Luca Pezzarossa, and Martin Schoeberl. Towards lingua franca on the patmos processor. In 2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC), 2024. Google Scholar
  17. Xianfeng Li, Yun Liang, Tulika Mitra, and Abhik Roychoudhury. Chronos: A timing analyzer for embedded software. Science of Computer Programming, 69(1):56-67, 2007. Special issue on Experimental Software and Toolkits. URL: https://doi.org/10.1016/j.scico.2007.01.014.
  18. Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, and Edward Lee. Pretvm: Predictable, Efficient Virtual Machine for Real-Time Concurrency, 2024. URL: https://arxiv.org/abs/2406.06253.
  19. Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. Towards building verifiable cps using lingua franca. Acm Transactions on Embedded Computing Systems, 22(5 s):155, 2023. URL: https://doi.org/10.1145/3609134.
  20. Björn Lisper. Sweet – a tool for wcet flow analysis. In Bernhard Steffen, editor, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pages 482-485. Springer-Verlag, October 2014. URL: http://www.es.mdu.se/publications/3693-.
  21. C. Douglas Locke. Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives. Real-Time Systems, 4(1):37-53, 1992. Google Scholar
  22. Marten Lohstroh, Christian Menard, Soroush Bateni, and Edward A. Lee. Toward a lingua franca for deterministic concurrent systems. Acm Transactions on Embedded Computing Systems, 20(4):36, 2021. URL: https://doi.org/10.1145/3448128.
  23. Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, and Edward A. Lee. A language for deterministic coordination across multiple timelines. Forum on Specification and Design Languages, 2020-:9232939, 2020. URL: https://doi.org/10.1109/FDL50818.2020.9232939.
  24. Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, and Edward A. Lee. Actors revisited for time-critical systems. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC '19, pages 152:1-152:4, New York, NY, USA, June 2019. ACM. URL: https://doi.org/10.1145/3316781.3323469.
  25. Emad Jacob Maroun, Eva Dengler, Stefan Dietrich, Chistian Hepp, Benedikt Herzog, Henriette Huber, Jens Knoop, Daniel Prokesch, Peter Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, and Peter Wägemann. The platin multi-target worst-case analysis tool. In 22th International Workshop on Worst-Case Execution Time Analysis (WCET 2024), 2024. Google Scholar
  26. Miguel Masmano, Ismael Ripoll, Alfons Crespo, and Jorge Real. Tlsf: A new dynamic memory allocator for real-time systems. In Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., pages 79-88. IEEE, 2004. Google Scholar
  27. George A. Papadopoulos and Farhad Arbab. Coordination models and languages. Advances in Computers, 46:329-400, 1998. URL: https://doi.org/10.1016/S0065-2458(08)60208-9.
  28. Peter Puschner and Christian Koza. Calculating the maximum execution time of real-time programs. Real-Time Syst., 1(2):159-176, 1989. Google Scholar
  29. Anders P. Ravn and Martin Schoeberl. Safety-critical Java with cyclic executives on chip-multiprocessors. Concurrency and Computation: Practice and Experience, 24:772-788, 2012. URL: https://doi.org/10.1002/cpe.1754.
  30. Ingo Sander. System Modeling and Design Refinement in ForSyDe. PhD thesis, KTH, Microelectronics and Information Technology, IMIT, 2003. NR 20140805. Google Scholar
  31. Ingo Sander and Axel Jantsch. Modelling adaptive systems in forsyde. Electronic Notes in Theoretical Computer Science, 200(2):39-54, 2008. Proceedings of the First Workshop on Verification of Adaptive Systems (VerAS 2007). URL: https://doi.org/10.1016/j.entcs.2008.02.011.
  32. Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil Audsley, Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp, Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch, Peter Puschner, André Rocha, Cláudio Silva, Jens Sparsø, and Alessandro Tocchi. T-CREST: Time-predictable multi-core architecture for embedded systems. Journal of Systems Architecture, 61(9):449-471, 2015. URL: https://doi.org/10.1016/j.sysarc.2015.04.002.
  33. Martin Schoeberl, Wolfgang Puffitsch, Stefan Hepp, Benedikt Huber, and Daniel Prokesch. Patmos: A time-predictable microprocessor. Real-Time Systems, 54(2):389-423, April 2018. URL: https://doi.org/10.1007/s11241-018-9300-4.
  34. Robert Tolksdorf. Models of coordination. Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1972:78-92, 2000. URL: https://doi.org/10.1007/3-540-44539-0_6.
  35. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, and Per Stenström. The worst-case execution time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008. URL: https://doi.org/10.1145/1347375.1347389.
  36. Michael Zimmer, David Broman, Chris Shaver, and Edward A. Lee. FlexPRET: A processor platform for mixed-criticality systems. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 2014. Google Scholar
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact