Download Bound-T Reference Manual - Bound

Target program, target processor
To use Bound-T effectively, the user must also know the structure of the target program − the
program being analysed. In some cases, the user also needs to understand the architecture of
the target processor that will run the target program.
Reference Manual overview
This document is organised into chapters as follows:
1.3
•
Chapter 2 is an overview of the analysis process itself, divided into general analysis steps,
specific steps for execution-time analysis and for stack usage analysis, and optional steps.
•
Chapter 3 lists and explains all command-line options and arguments for Bound-T.
•
Chapter 4 explains all the outputs from Bound-T.
•
Chapter 5 lists warning messages and error messages, with explanations and advice on
solving the problems.
Other Bound-T documentation
This reference manual is supplemented by other documentation as follows.
User Guide
The Bound-T User Guide at http://www.bound-t.com/user-guide.pdf introduces Bound-T's
features and usage in an informal, tutorial way with examples. Read the User Guide to get
started, then return to this Reference Manual for details.
Assertion Language manuals
Most users of Bound-T need to write assertions to guide and constrain the analysis. Assertions
are written as text. The User Guide gives several examples of assertions. You can refer to the
Bound-T Asssertion Language manual at http://www.bound-t.com/assertion-lang.pdf for the
full syntax and meaning of the assertion language. The possible warning and error messages
from the assertion parser are also described there, not in this Reference Manual.
The find_marks program is an auxiliary program that lets you write assertions using marks
embedded in the source code to identify the loops or calls to which the assertion applies. Its
user manual is at http://www.bound-t.com/find-marks-manual.pdf .
Target-specific Application Notes
Bound-T is available for several target processors, with a specific version of Bound-T for each
processor. This Reference Manual describes only the general, target-independent features of
Bound-T. Additional information for specific targets is provided in separate Bound-T
Application Notes. When necessary, Application Notes also advise on using Bound-T with
specific target languages, compilers, real-time kernels or target operating systems.
Please refer to http://www.bound-t.com/app_notes for a list of the currently supported target
processors and the available Application Notes.
Hard Real Time programming model (HRT)
Bound-T contains special high-level support for target programs that follow the Hard-RealTime (HRT) programming model, an architectural style for concurrent, real-time programs
originally defined by the European Space Agency. This Reference Manual describes how
10
Introduction
Bound-T Reference Manual