skip to main content
research-article
Free access

Computation takes time, but how much?

Published: 01 February 2014 Publication History

Abstract

Timing analysis for hard real-time systems.

References

[1]
Althaus, E., Altmeyer, S. and Naujoks, R. Precise and efficient parametric path analysis. In Proceedings of the ACM SIGPLAN/SIGBED 2011 Conference on Languages, Compilers, and Tools for Embedded Systems. ACM, NY (Apr. 2011), 141--150.
[2]
Altmeyer, S., Davis, R.I. and Maiza, C. Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Real-Time Systems 48, 5 (2012), 499--526.
[3]
Axer, P. et al. Building timing predictable embedded systems. Trans. Embedded Computing Systems (2012).
[4]
Balakrishnan, G. and Reps, T. WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32, 6 (Aug. 2010), 23:1--23:84.
[5]
Bernardes, J.N.C. On the predictability of discrete dynamical systems. In Proc. of the American Math. Soc. 130, 7 (2001), 1983--1992.
[6]
Cousot, P. Abstract interpretation based formal methods and future challenges. Informatics---10 Years Back, 10 Years Ahead (2001), 138--156.
[7]
Cullmann, C. et al. Predictability considerations in the design of multi-core embedded systems. In Proceedings of Embedded Real Time Software and Systems (May 2010), 36--42.
[8]
Ferdinand, C. et al. Reliable and precise WCET determination for a real-life processor. In Proceedings of the First International Workshop on Embedded Software (London, U.K., 2001). Springer, 469--485.
[9]
Ferdinand, C. et al. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In Proceedings of the 4th European Congress ERTS Embedded Real-Time Software (Toulouse, France, Jan. 2008).
[10]
Ferdinand, C. and Wilhelm, R. Efficient and precise cache behavior prediction for real-time systems. Real-Time Systems 17, 2-3 (1999), 131--181.
[11]
Grund, D. Static Cache Analysis for Real-Time Systems---LRU, FIFO, PLRU. Ph.D. thesis. Saarland University, 2012.
[12]
Grund, D., Reineke, J. and Gebhard, G. Branch target buffers: WCET analysis framework and timing predictability. J. Systems Architecture 57, 6 (2011), 625--637.
[13]
Gustafsson, J., Betts, A. Ermedahl, A. and Lisper, B. The Mälardalen WCET benchmarks: Past, present and future. In Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis.
[14]
Gustafsson, J., Ermedahl, A., Sandberg, C. and Lisper, B. Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In Proceedings of the 27th IEEE International Real-Time Systems Symposium (Washington, D.C., 2006), IEEE-CS, 57--66.
[15]
Healy, C. Sjödin, M., Rustagi, V., Whalley, D. and van Engelen, R. Supporting timing analysis by automatic bounding of loop iterations. Real-Time Systems 18 (2000), 129--156.
[16]
Healy, C. and Whalley, D. Automatic detection and exploitation of branch constraints for timing analysis. IEEE Trans. Software Engineering 28, 8 (2002), 763--781.
[17]
Henzinger, T. Two challenges in embedded systems design: Predictability and robustness. Philos. Trans. Royal Soc. Math., Phys. and Engin. Sciences, 366, 1881 (2008), 3727--3736.
[18]
Kästner, D. et al. Leveraging from the combination of model-based analysis and testing. Embedded World Congress, 2013.
[19]
Kästner, D., Ferdinand, C., Heckmann, R., Jersak, M. and Gliwa, P. An integrated timing analysis methodology for real-time systems. SAE World Congress. SAE International, 2011.
[20]
Kästner, D. et al. Integrating model-based code generators with static program analyzers. Embedded World Congress, 2013.
[21]
Kästner, D. et al. Meeting real-time requirements with multi-core processors. In Proceedings of 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems. (Sept. 2012).
[22]
Kästner, D. and Ferdinand, C. Efficient verification of non-functional safety properties by abstract interpretation: Timing, stack consumption, and absence of runtime errors. In Proceedings of the 29th International System Safety Conference (Las Vegas, 2011).
[23]
Lee, E.A. Computing needs time. Commun. ACM 52, 5 (May 2009), 70--79.
[24]
Li, Y-T.S. and Malik, S. Performance analysis of embedded software using implicit path enumeration. In Proceedings of the 32nd Annual ACM/IEEE Design Automation Conference (New York, NY, 1995), ACM, NY, 456--461.
[25]
Lundqvist, T. and Stenström, P. Timing anomalies in dynamically scheduled microprocessors. In Proceedings of the 20th IEEE Real-Time Systems Symposium (Dec. 1999), 12--21.
[26]
Martin, F., Alt, M., Wilhelm, R. and Ferdinand, C. Analysis of loops. Compiler Construction (1998), 80--94.
[27]
National Highway Traffic Safety Administration Toyota unintended acceleration investigation. Technical Report TI-10-00618, NASA Engineering and Safety Center, January 2011.
[28]
Puschner, P. and Burns, A. Guest editorial: A review of worst-case execution-time analysis. Real-Time Systems 18 (2000), 115--128.
[29]
Reineke, J. and Grund, D. Sensitivity of cache replacement policies. ACM Trans. Embedded Computing Systems (2013).
[30]
Reineke, J. et al. A definition and classification of timing anomalies. In Proceedings of 6th International Workshop on Worst-Case Execution Time Analysis (July 2006).
[31]
Schlickling, M. and Pister, M. Semi-automatic derivation of timing models for WCET analysis. In Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems (Apr. 2010), 67--76. ACM, NY.
[32]
Schranzhofer, A. Pellizzoni, R., Chen, J.-J., Thiele, L. and Caccamo, M. Timing analysis for resource access interference on adaptive resource arbiters. IEEE Real-Time and Embedded Technology and Applications Symposium (2011), 213--222.
[33]
Shaw, A.C. Reasoning about time in higher-level language software. IEEE Trans. Software Eng. 15, 7 (1989), 875--889.
[34]
Souyris, J. Industrial experience of abstract interpretation-based static analyzers. Building the Information Society. R. Jacquart, ed. IFIP 156 (2004), 393--400. Springer, Boston.
[35]
Souyris, J., Pavec, E.L., Himbert, G., Jégu, V. and Borios, G. Computing the worst-case execution time of an avionics program by abstract interpretation. In Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time Analysis (2005), 21--24.
[36]
Stankovic, J. and Ramamritham, K. What is predictability for real-time systems? Real-Time Syst. 2 (1990), 247--254.
[37]
Tan, L. The worst-case execution time tool challenge 2006. International J. Software Tools for Technology Transfer 11, 2 (2009), 133--152.
[38]
Theiling, H. Extracting safe and precise control flow from binaries. In Proceedings of the 7th International Conference on Real-Time Systems and Applications (Washington, D.C. 2000). IEEE-CS, 23--30.
[39]
Theiling, H. ILP-based interprocedural path analysis. Lecture Notes in Computer Science, EMSOFT 2491 (2002), 349--363. Springer.
[40]
Thesing, S. Safe and Precise WCET Determinations by Abstract Interpretation of Pipeline Models. Ph.D. thesis, Saarland University, 2004.
[41]
Thesing, S. et al. An abstract interpretation-based timing validation of hard real-time avionics software systems. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (June 2003), IEEE-CS, 625--632.
[42]
Thiele, L. and Wilhelm, R. Design for timing predictability. Real-Time Systems, 28, 2-3 (2004), 157--177.
[43]
Wilhelm, R. et al. The worst-case execution-time problem---Overview of methods and survey of tools. ACM Trans. Embedded Computing Systems 7, 3 (2008), 1--53.
[44]
Wilhelm, R. et al. Memory hierarchies, pipelines, and buses for future time-critical embedded architectures. IEEE TCAD 28, 7 (July 2009), 966--978.

Cited By

View all
  • (2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
  • (2020)A modular cost analysis for probabilistic programsProceedings of the ACM on Programming Languages10.1145/34282404:OOPSLA(1-30)Online publication date: 13-Nov-2020
  • (2020)Runtime Complexity Analysis of Logically Constrained RewritingLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_2(37-55)Online publication date: 7-Sep-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 57, Issue 2
February 2014
103 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/2556647
  • Editor:
  • Moshe Y. Vardi
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 ACM 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: 01 February 2014
Published in CACM Volume 57, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)398
  • Downloads (Last 6 weeks)86
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
  • (2020)A modular cost analysis for probabilistic programsProceedings of the ACM on Programming Languages10.1145/34282404:OOPSLA(1-30)Online publication date: 13-Nov-2020
  • (2020)Runtime Complexity Analysis of Logically Constrained RewritingLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_2(37-55)Online publication date: 7-Sep-2020
  • (2019)Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable HardwareACM Transactions on Architecture and Code Optimization10.1145/332879916:3(1-27)Online publication date: 8-Jul-2019
  • (2019)WCET Analysis meets Virtual PrototypingProceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems10.1145/3323439.3323978(13-22)Online publication date: 27-May-2019
  • (2019)Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checkingInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-018-0497-221:5(515-543)Online publication date: 1-Oct-2019
  • (2018)Inactivity Benchmarking2018 International Conference on High Performance Computing & Simulation (HPCS)10.1109/HPCS.2018.00161(1028-1033)Online publication date: Jul-2018
  • (2018)State of the Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of ServicesAutonomous Control for a Reliable Internet of Services10.1007/978-3-319-90415-3_1(1-22)Online publication date: 25-May-2018
  • (2017)Interactive WCET Prediction with Warning for Timeout RiskInternational Journal of Pattern Recognition and Artificial Intelligence10.1142/S021800141750012431:05(1750012)Online publication date: May-2017
  • (2016)Hard Real-Time General-Purpose Robotic Simulations of Autonomous Air VehiclesAIAA Modeling and Simulation Technologies Conference10.2514/6.2016-1667Online publication date: Jan-2016
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDFChinese translation

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media