Application Programming Interface

Clepsydra also provides an API for performing a WCET analysis and obtaining the results. For example, the edu.uci.eecs.doc.clepsydra.ipet package provides an interface to ILP solvers. This interface contains, among other features, a method that saves the solver's output to MPS format.

(While the MPS format is much more common, the special format used by lp_solve is more readable by human eyes. To convert from the MPS format lp_solve format: lp_solve -fmps infile -wlp outfile. Use /dev/stdout as the outfile to dump the format to the console.)

Further documentation of the Clepsydra API is available in the Volta distribution and at the Volta web site.