Volta User Manual
Next
Volta User Manual
Trevor
Harmon
Copyright © 2007 Trevor Harmon
Table of Contents
1. Introduction
Worst-case Execution Time
Java Microprocessors
2. The Volta Tool Suite
System Requirements
Installation
ILP Solver Installation
Build and Test
Quick Start
3. Cascade
Control Flow Graphs
Control Flow Trees
Export Formats
Command Line Interface
Application Programming Interface
4. Clepsydra
Configuration
Timing Strategy
Loop Bound Strategy
Analysis Strategy
Method Cache Strategy
Back-annotation
Export Formats
Command Line Interface
Application Programming Interface
5. jEdit Plugins
Clepsydra Plugin
Installation
Configuration
Usage
Cascade Plugin
6. Canteen
Usage
Using Canteen with the Clepsydra Plugin
7. Java Compiler for WCET Annotations
Annotation Data Format
Dump Annotations Utility
A. Known Limitations
B. Further Reading
C. GNU General Public License
Preamble
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
Section 0
Section 1
Section 2
Section 3
Section 4
Section 5
Section 6
Section 7
Section 8
Section 9
Section 10
NO WARRANTY Section 11
Section 12
How to Apply These Terms to Your New Programs
List of Figures
1.1.
Scheduling Equations
1.2.
WCET Measurement
1.3.
Static WCET Analysis
1.4.
Cyclone FPGA
2.1.
Lake Volta
3.1.
Avrora CFG
3.2.
Simple Java method
3.3.
Cascade CFG
3.4.
Control flow tree
3.5.
SVG Diagram of Control Flow
4.1.
Clepsydra
4.2.
aiT
4.3.
Clepsydra CFG
4.4.
Timing strategy
4.5.
Loop bound annotation
4.6.
Back-annotation
4.7.
SVG Diagram of Clepsydra
5.1.
jEdit plugin
5.2.
jEdit plugin options