Execution cost interval refinement in static software analysis

Journal of Systems Architecture

Volumn 47, Issue 3-4, 2001, Pages 339-356

  Wolf, Fabian ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Design automation; Embedded system design; Real time systems; Software timing analysis

Indexed keywords

AUTOMATION; COMPUTER ARCHITECTURE; CONCURRENCY CONTROL; MATHEMATICAL MODELS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SOFTWARE ENGINEERING;

EXECUTION COST INTERVAL REFINEMENT; SOFTWARE TIMING ANALYSIS;

EMBEDDED SYSTEMS;

EID: 0035310515     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(00)00053-9     Document Type: Article

References (29)

1. Bounding worst case instruction cache performance
2. A simulation model for the OAM functionality in ATM switches
3. On predicting data cache behavior for real-time systems
4. Software execution from executable specification
5. Automatic derivation of path and loop annotations in object-oriented real-time programs
6. Static timing analysis of embedded software on advanced processor architectures
7. Embedded system design using the SPI workbench
8. Evaluating tight execution time bounds of programs by annotations
9. A 160-MHz, 32-b, 0.5 W CMOS RISC microprocessor
10. Experiments with a program timing tool based on source-level timing scheme
11. Calculating the maximum execution time of real-time programs
12. Instruction level power analysis and optimisation of software
13. Intervals in software execution cost analysis
14. Compact trace generation and power measurement in software emulation
15. Embedded program timing analysis based on path clustering and architecture classification
16. System exploration and synthesis from SDL of an ATM switch component
17. Combining multiple models of computation for scheduling and allocation