Clepsydra can be invoked from the command line to perform WCET analysis of a single method. To do so, run Java from the command line and specify the edu.uci.eecs.doc.clepsydra.Clepsydra class followed by the appropriate arguments, as described below. (Alternatively, the quick-test target in the Ant build script provides an easy way of supplying these arguments without re-typing them.)
edu.uci.eecs.doc.cascade.Clepsydra [-bytecode] {-classpath classpath} [-dot filename] [-gml filename] [-graphml filename] {[-tree] | [-ipet]} {-loopbounds classname} {-method signature} {-methodcache classname} [-print] [-recursive] [[-svg filename] | [-svgColorized filename]] [-text filename] {-timings classname}
If specified, Clepsydra will add a list of bytecode instructions to each control flow node in all output formats.
A list of directories that will be searched when loading classes during WCET analysis. Each path in the list must be separated by the system's path separator (e.g., : on UNIX-based systems).
If specified, Clepsydra will save a representation of the control flow graph in DOT format to the given file. Each node in the graph will also show its WCET, computed using the tree strategy.
If specified, Clepsydra will save a representation of the control flow graph in GML format to the given file.
If specified, Clepsydra will save a representation of the control flow graph in GraphML format to the given file.
Computes the WCET using the IPET strategy and prints the result. At least one of -tree or -ipet must be specified.
The name of a class that implements the LoopBoundStrategy interface.
The method to be analyzed for WCET. The method signature must be fully qualified. For example, the signature for indexOf is java.lang.String.indexOf(java.lang.String,int).
The name of a class that implements the MethodCacheStrategy interface.
If specified, Clepsydra will print a plain-text representation of the control flow tree to the console. Each node in the tree will also show its WCET, computed using the tree strategy.
When producing output, also include details of methods that are invoked (directly or indirectly) by the given method.
If specified, Clepsydra will save a representation of the control flow tree in SVG format to the given file. Each node in the tree will also show its WCET, computed using the tree strategy.
If specified, Clepsydra will save a representation of the control flow tree in a color-coded SVG format to the given file.
If specified, Cascade will save a representation of the control flow tree in plain text format to the given file. Each node in the tree will also show its WCET, computed using the tree strategy.
The name of a class that implements the InstructionTimingStrategy interface.
Computes the WCET using the tree strategy and prints the result. At least one of -tree or -ipet must be specified.