Efficient microarchitecture modeling and path analysis for real-time software

@article{Li1995EfficientMM,
  title={Efficient microarchitecture modeling and path analysis for real-time software},
  author={Yau-Tsun Steven Li and Sharad Malik and Andrew Wolfe},
  journal={Proceedings 16th IEEE Real-Time Systems Symposium},
  year={1995},
  pages={298-307}
}
Real-time systems are characterized by the presence of timing constraints in which a task must be completed within a specific amount of time. This paper examines the problem of determining the bound on the worst case execution time (WCET) of a given program on a given processor There are two important issues in solving this problem: (i) program path analysis, which determines what sequence of instructions will be executed in the worst case, and (ii) microarchitecture modeling, which models the… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 188 CITATIONS

Fast estimation of memory consumption for energy-efficient compilers

  • 2011 18th IEEE International Conference on Electronics, Circuits, and Systems
  • 2011
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Worst-case timing analysis of concurrently executing dma i/o and programs

VIEW 13 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Refining Cache Behavior Prediction Using Cache Miss Paths

  • ACM Trans. Embedded Comput. Syst.
  • 2017
VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Timing Analysis of Tasks on Runtime Reconfigurable Processors

  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems
  • 2017
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis

  • 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
  • 2011
VIEW 14 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Using the Executable Semantics for CFG Extraction and Unfolding

  • 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  • 2011
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

History-based Schemes and Implicit Path Enumeration

VIEW 4 EXCERPTS
CITES BACKGROUND & RESULTS
HIGHLY INFLUENCED

Automatic Detection and Exploitation of Branch Constraints for Timing Analysis

  • IEEE Trans. Software Eng.
  • 2002
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1996
2018

CITATION STATISTICS

  • 18 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

Stoyenko , “ Real - time Euclid : A language for reliable real - time systems ”

Jyh-Cham Liu, Hung-Ju Lee, +7 authors Alan C. Shaw
  • IEEE Transactions on Sofware Engineering