research-article

Timing analysis enhancement for synchronous program

Authors:

Pascal Raymond,

Catherine Parent-Vigouroux,

Fabienne CarrierAuthors Info & Claims

RTNS '13: Proceedings of the 21st International conference on Real-Time Networks and Systems

Pages 141 - 150

https://doi.org/10.1145/2516821.2516841

Published: 16 October 2013 Publication History

Abstract

In real-time systems, an upper-bound on the execution time is mandatory to guarantee all timing constraints: a bound on the Worst-Case Execution Time (WCET). High-level synchronous approaches are usually used to design hard real-time systems and specifically critical ones. Timing analysis used for WCET estimates are based on the executable binary program. Thus, a large part of semantic information, known at the design level, is lost due to the compilation scheme (typically organized in two stages, from high-level model to C, and then binary code). In this paper, we aim at improving the estimated WCET by taking benefit from high-level information. We integrate an existing verification tool to check the feasibility of the worst-case path. Based on a realistic example, we show that there is a large possible improvement for a reasonable analysis time overhead.

References

[1]

S. Andalam, P. Roop, and A. Girault. Pruning Infeasible Paths for Tight WCRT Analysis of Synchronous Programs. In DATE, 2011.

[2]

M. Asavoae, C. Maiza, and P. Raymond. Program semantics in model-based wcet analysis: A state of the art perspective. In WCET, pages 31--40, 2013.

[3]

J.-L. Béchennec and F. Cassez. Computation of wcet using program slicing and real-time model-checking. CoRR, abs/1105.1633, 2011.

[4]

M. Boldt, C. Traulsen, and R. von Hanxleden. Worst case reaction time analysis of concurrent reactive programs. ENTCS, 203(4):65--79, June 2008.

Digital Library

[5]

P. Caspi, P. Raymond, and S. Tripakis. Synchronous programming. In I. Lee, J. Y.-T. Leung, and S. H. Son, editors, Handbook of Real-Time amd Embedded Systems, chapter 14. Chapman and Hall/CRC, 2007.

[6]

C. Ferdinand, R. Heckmann, T. L. Sergent, D. Lopes, B. Martin, X. Fornari, and F. Martin. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In ERTS2, 2008.

[7]

T. Gauthier, P. L. Guernic, and L. Besnard. Signal, a declarative language for synchronous programming of real-time systems. In Proc. 3rd. Conf. on Functional Programming Languages and Computer Architecture. LNCS 274, Springer Verlag, 1987.

Digital Library

[8]

N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.

Digital Library

[9]

L. Ju, B. K. Huynh, S. Chakraborty, and A. Roychoudhury. Context-sensitive timing analysis of esterel programs. In DAC, pages 870--873, 2009.

Digital Library

[10]

L. Ju, B. K. Huynh, A. Roychoudhury, and S. Chakraborty. Performance debugging of esterel specifications. In CODES-ISSS, 2008.

Digital Library

[11]

R. Kirner, R. Lang, G. Freiberger, and P. Puschner. Fully automatic worst-case execution time analysis for Matlab/Simulink models. In ECRTS, 2002.

Digital Library

[12]

P. Raymond. Synchronous program verification with lustre/lesar. In S. Mertz and N. Navet, editors, Modeling and Verification of Real-Time Systems, chapter 6. ISTE/Wiley, 2008.

[13]

T. Ringler. Static worst-case execution time analysis of synchronous programs. In Ada-Europe, pages 56--68, 2000.

Digital Library

[14]

L. Tan, B. Wachter, P. Lucas, and R. Wilhelm. Improving timing analysis for Matlab Simulink/Stateflow. In ACES-MB, 2009.

[15]

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. (TECS), 7(3), 2008.

Digital Library

Cited By

Yip EGirault ARoop PBiglari-Abhari M(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
https://dl.acm.org/doi/10.1145/3591594
Pagetti CForget JFalk HOehlert DLuppold AOuhammou YRidouard FGrolleau EJan MBehnam M(2018)Automated generation of time-predictable executables on multicoreProceedings of the 26th International Conference on Real-Time Networks and Systems10.1145/3273905.3273907(104-113)Online publication date: 10-Oct-2018
https://dl.acm.org/doi/10.1145/3273905.3273907
Becker MMetta RVenkatesh RChakraborty S(2018)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 Transfer10.1007/s10009-018-0497-2Online publication date: 11-Jun-2018
https://doi.org/10.1007/s10009-018-0497-2
Show More Cited By

Recommendations

Timing analysis enhancement for synchronous program

Real-time critical systems can be considered as correct if they compute both right and fast enough. Functionality aspects (computing right) can be addressed using high level design methods, such as the synchronous approach that provides languages, ...
Tight WCRT analysis of synchronous C programs
CASES '09: Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems

Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to determine the tick length statically are classified as worst case reaction ...
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction
Special Issue ESWEEK 2017, CASES 2017, CODES + ISSS 2017 and EMSOFT 2017

Synchronous languages are ideal for designing safety-critical systems. Static Worst-Case Reaction Time (WCRT) analysis is an essential component in the design flow that ensures the real-time requirements are met. There are a few approaches for WCRT ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '13: Proceedings of the 21st International conference on Real-Time Networks and Systems

October 2013

298 pages

ISBN:9781450320580

DOI:10.1145/2516821

General Chairs:
Michel Auguin
LEAT, Nice, France
,
Robert de Simone
INRIA, Sophia Antipolis, France
,
Program Chairs:
Robert Davis
University of York, UK
,
Emmanuel Grolleau
LIAS, ISAE-ENSMA, France

Copyright © 2013 ACM.

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]

Sponsors

CNRS: Centre National De La Rechercue Scientifique
INRIA: Institut Natl de Recherche en Info et en Automatique

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 October 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Agence Nationale de la Recherche

Conference

RTNS 2013

Sponsor:

CNRS
INRIA

RTNS 2013: 21st International Conference on Real-Time Networks and Systems

October 16 - 18, 2013

Sophia Antipolis, France

Acceptance Rates

RTNS '13 Paper Acceptance Rate 29 of 62 submissions, 47%;

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
93
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Yip EGirault ARoop PBiglari-Abhari M(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
https://dl.acm.org/doi/10.1145/3591594
Pagetti CForget JFalk HOehlert DLuppold AOuhammou YRidouard FGrolleau EJan MBehnam M(2018)Automated generation of time-predictable executables on multicoreProceedings of the 26th International Conference on Real-Time Networks and Systems10.1145/3273905.3273907(104-113)Online publication date: 10-Oct-2018
https://dl.acm.org/doi/10.1145/3273905.3273907
Becker MMetta RVenkatesh RChakraborty S(2018)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 Transfer10.1007/s10009-018-0497-2Online publication date: 11-Jun-2018
https://doi.org/10.1007/s10009-018-0497-2
Li HPuaut IRohou E(2015)Tracing Flow Information for Tighter WCET EstimationProceedings of the 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2015.18(217-226)Online publication date: 19-Aug-2015
https://dl.acm.org/doi/10.1109/RTCSA.2015.18
Elloumi YAkil MBedoui M(2015)WCET nested-loop minimization in terms of instruction-level-parallelism2015 International Conference on High Performance Computing & Simulation (HPCS)10.1109/HPCSim.2015.7237066(386-393)Online publication date: Jul-2015
https://doi.org/10.1109/HPCSim.2015.7237066
Li HPuaut IRohou EJan MBen Hedia BGoossens JMaiza C(2014)Traceability of Flow InformationProceedings of the 22nd International Conference on Real-Time Networks and Systems10.1145/2659787.2659805(97-106)Online publication date: 8-Oct-2014
https://dl.acm.org/doi/10.1145/2659787.2659805
Wilhelm R(2014)Software Quality Assurance by Static Program AnalysisSoftware Quality. Model-Based Approaches for Advanced Software and Systems Engineering10.1007/978-3-319-03602-1_1(1-11)Online publication date: 2014
https://doi.org/10.1007/978-3-319-03602-1_1
Maiza CRaymond PRochange C(2014)Estimation of Execution Time and DelaysReal‐Time Systems Scheduling 110.1002/9781118984413.ch5(193-229)Online publication date: 12-Sep-2014
https://doi.org/10.1002/9781118984413.ch5

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten