Path clustering in software timing analysis
- 1 December 2001
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Very Large Scale Integration (VLSI) Systems
- Vol. 9 (6) , 773-782
- https://doi.org/10.1109/92.974891
Abstract
Verification of program running time is essential in system design with real-time constraints. Simulation with incomplete test patterns or simple instruction counting are not appropriate for complex architectures. Software running times of embedded systems are process state and input data dependent. Formal analysis of such dependencies leads to software running time intervals rather than single values. These intervals depend on program properties, execution paths, and states of processes, as well as on the target architecture. An approach to analysis of process behavior using running time intervals is presented. It improves our previous work by exploiting program segments with single paths and by taking the execution context into account. The example of an asynchronous transfer mode (ATM) cell handler demonstrates significant improvements in analysis precision. Experimental results show the superiority of the presented approach over well-established approaches.Keywords
This publication has 14 references indexed in Scilit:
- Fast timing analysis for hardware-software co-synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic derivation of path and loop annotations in object-oriented real-time programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Static timing analysis of embedded software on advanced processor architecturesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Data flow based cache prediction using local simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Interval-Based Analysis of Software ProcessesPublished by Association for Computing Machinery (ACM) ,2001
- Execution cost interval refinement in static software analysisJournal of Systems Architecture, 2001
- Fast and Precise WCET Prediction by Separated Cache and Path AnalysesReal-Time Systems, 2000
- Performance Analysis of Real-Time Embedded SoftwarePublished by Springer Nature ,1999
- Instruction level power analysis and optimization of softwareJournal of Signal Processing Systems, 1996
- Fast Simulation of Computer ArchitecturesPublished by Springer Nature ,1995