Bound-T User Manuals
The following user manual documents explain the general functions and usage
of Bound-T, for any target processor and any compiler, linker or kernel.
Further instructions for specific processors etc. are
given in the
Application Note documents.
User Guide (pdf)
- Introduces Bound-T's features and usage in an informal,
tutorial way with examples. Shows how to get started with
the analysis of a program and advises on how to write
analysable programs. Includes many examples of assertions.
Ends with a glossary of terms and concepts related
to Bound-T and WCET analysis.
Reference Manual (pdf)
- Full and detailed information on the general functions
and abilities of Bound-T, including the command-line options
and output formats. Also gives a summary of the analysis
process itself. Lists and explains the general warning
and error messages that Bound-T may emit.
Assertion Language manual (pdf)
- Defines and explains the full syntax and meaning of
the Bound-T assertion (annotation) language. Lists and
explains the warning and error messages related to
parsing and using assertions.
find_marks User Manual (pdf)
- Describes the auxiliary program find_marks
that is used to prepare input for Bound-T, specifically
to find "marks" in source-code files. An assertion can
then identify a program part (loop or call) by the name
of a marker that marks a source line in that part.
Using Bound-T in HRT Mode (pdf)
- Describes the "HRT mode" of Bound-T which has additional
support for target programs that follow the "Hard Real Time"
software architecture defined for the European Space Agency.
The list above refers to the current (newest) version of
each manual. Earlier versions of some manuals can be found
in the document archive.