Article

Free access

Performance analysis of embedded software using implicit path enumeration

Authors:

Yau-Tsun Steven Li,

Sharad MalikAuthors Info & Claims

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Pages 456 - 461

https://doi.org/10.1145/217474.217570

Published: 01 January 1995 Publication History

PDF eReader

References

[1]

Eugene Kligerman and Alexander D. Stoyenko, "Real-time Euclid: A language for reliable real-time systems", IEEE Transactions on Software Engineering, vol. SE-12, no. 9, pp. 941-949, September 1986.

Digital Library

Google Scholar

[2]

E Puschner and Ch. Koza, "Calculating the maximum execution time of real-time programs", The Journal of Real-Time Systems, vol. 1, no. 2, pp. 160-176, September 1989.

Digital Library

Google Scholar

[3]

Aloysius K. Mok, Prasanna Amerasinghe, Moyer Chen, and Kamtron Tantisirivat, "Evaluating tight execution time bounds of programs by annotations", in Proceedings of the 6th IEEE Workshop on Real-Time Operating Systems and Software, May 1989, pp. 74-80.

Google Scholar

[4]

Chang Yun Park, Predicting Deterministic Execution Times of Real-Time Programs, PhD thesis, University of Washington, Seattle 98195, August 1992.

Google Scholar

[5]

R. B. Hitchcock, "Timing Verification and the Timing Analysis Program", in Proceedings of the 19th Design Automation Conference, June 1982, pp. 594-604.

Digital Library

Google Scholar

[6]

Alfred V. Aho, Ravi Sethi, and Jeffery D. Ullman, Compilers Principles, Techniques, and Tools, Addison-Wesley, 1986, ISBN 0-201-10194-7.

Digital Library

Google Scholar

[7]

Byung-Do Rhee, Sang Lyul Min, Sung-Soo Lim, Heonshik Shin, Chong Sang Kim, and Chang Yun Park, "Issues of advanced architectural features in the design of a timing tool", in Proceedings of the 11 th IEEE Workshop on Real-Time Operating Systems and Software. May 1994, pp. 59-62, IEEE Computer Soc. Press, ISBN 0-8186-5710-3.

Crossref

Google Scholar

[8]

Intel Corporation, i960KA/KB Microprocessor Programmers's Reference Manual, 1991, ISBN 1-55512-137-3.

Google Scholar

[9]

Rajesh Kumar Gupta, Co-Synthesis of Hardware and Software for Digital Embedded Systems, PhD thesis, Stanford University, December 1993.

Google Scholar

[10]

Intel Corporation, QT960 User Manual, 1990, Order Number 270875- 001.

Google Scholar

Cited By

View all

Kästner DWilhelm RFerdinand C(2023)Abstract Interpretation in Industry – Experience and Lessons LearnedStatic Analysis10.1007/978-3-031-44245-2_2(10-27)Online publication date: 24-Oct-2023
https://doi.org/10.1007/978-3-031-44245-2_2
Chang SBi RSun JLiu WYu QDeng QGu Z(2022)Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling AlgorithmsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319753241:11(3874-3885)Online publication date: Nov-2022
https://doi.org/10.1109/TCAD.2022.3197532
Amalou APuaut IMuller G(2021)WE-HML: hybrid WCET estimation using machine learning for architectures with caches2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA52859.2021.00011(31-40)Online publication date: Aug-2021
https://doi.org/10.1109/RTCSA52859.2021.00011
Show More Cited By

Index Terms

Performance analysis of embedded software using implicit path enumeration

Recommendations

Performance analysis of embedded software using implicit path enumeration
LCTES '95: Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems

Embedded computer systems are characterized by the presence of a processor running application specific dedicated software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the extreme (...
Performance analysis of embedded software using implicit path enumeration

Embedded computer systems are characterized by the presence of a processor running application specific dedicated software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the extreme (...
Performance analysis of embedded software using implicit path enumeration

Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the extreme (...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

January 1995

760 pages

ISBN:0897917251

DOI:10.1145/217474

Chairman:
Bryan T. Preas
Xerox Parc, Palo Alto, CA

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 January 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC95

Sponsor:

EDAC
SIGDA

DAC95: The 32nd Design Automation Conference

June 12 - 16, 1995

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

187
Total Citations
View Citations
782
Total Downloads

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

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kästner DWilhelm RFerdinand C(2023)Abstract Interpretation in Industry – Experience and Lessons LearnedStatic Analysis10.1007/978-3-031-44245-2_2(10-27)Online publication date: 24-Oct-2023
https://doi.org/10.1007/978-3-031-44245-2_2
Chang SBi RSun JLiu WYu QDeng QGu Z(2022)Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling AlgorithmsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2022.319753241:11(3874-3885)Online publication date: Nov-2022
https://doi.org/10.1109/TCAD.2022.3197532
Amalou APuaut IMuller G(2021)WE-HML: hybrid WCET estimation using machine learning for architectures with caches2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA52859.2021.00011(31-40)Online publication date: Aug-2021
https://doi.org/10.1109/RTCSA52859.2021.00011
Brandner FNoûs C(2021)Precise, efficient, and context-sensitive cache analysisReal-Time Systems10.1007/s11241-021-09372-5Online publication date: 24-Jun-2021
https://doi.org/10.1007/s11241-021-09372-5
Brandner FNoûs CCucu-Grosjean LMedina RAltmeyer SScharbarg J(2020)Precise and Efficient Analysis of Context-Sensitive Cache Conflict SetsProceedings of the 28th International Conference on Real-Time Networks and Systems10.1145/3394810.3394811(44-55)Online publication date: 9-Jun-2020
https://dl.acm.org/doi/10.1145/3394810.3394811
Wilhelm R(2020)Real time spent on real timeCommunications of the ACM10.1145/337554563:10(54-60)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1145/3375545
Wilhelm R(2020)Real Time Spent on Real Time2020 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS49844.2020.00011(1-2)Online publication date: Dec-2020
https://doi.org/10.1109/RTSS49844.2020.00011
Wilhelm R(2020)Determining Reliable and Precise Execution Time Bounds of Real-Time SoftwareIT Professional10.1109/MITP.2020.297213822:3(64-69)Online publication date: 1-May-2020
https://doi.org/10.1109/MITP.2020.2972138
Falk HJadhav SLuppold AMuts KOehlert DPiontek NRoth M(2020)Compilation for Real-Time Systems a Decade After PredatorA Journey of Embedded and Cyber-Physical Systems10.1007/978-3-030-47487-4_10(151-169)Online publication date: 31-Jul-2020
https://doi.org/10.1007/978-3-030-47487-4_10
Luckow KKersten RPasareanu C(2020)Complexity vulnerability analysis using symbolic executionSoftware Testing, Verification and Reliability10.1002/stvr.171630:7-8Online publication date: 6-Feb-2020
https://doi.org/10.1002/stvr.1716
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations