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.