Here you can download no-cost, size-limited versions of the Bound-T WCET and stack-usage analyser for Intel/Macintosh OS-X PC host platform and various target processors. Tidorum provides this software under a specific no-cost licence.
To use Bound-T on an Intel/Mac OS-X PC, you need all the required support programs — see section 1 below — and the Bound-T main program(s) for your target processor(s) — see section 2 below. After you have downloaded the support programs and the Bound-T main program(s), follow the installation advice in section 3 below.
Click on a Download link to download a Bound-T support program for the Intel/Mac OS-X host platform.
| Program | Download | Description | Version | |
|---|---|---|---|---|
| All of them | support.zip | A ZIP of all the support programs for this host, including oc, lp_solve, run_oc, and run_lp_solve. | oc: Om21T4 lp_solve: L3T1 run_oc: 1.1 run_lp_solve: 1.1 |
Click on the Target name for more information on Bound-T support for this target. Click on the Download link to download the Bound-T main program for a target processor.
| Target | Download | Description | Version |
|---|---|---|---|
| ARM7 TDMI | boundt-arm7-4b4-1k.zip | The Bound-T main program for the ARM7 TDMI target, limited to 1k instructions per analysis. | 4b4 |
| Atmel AVR | boundt-avr-4a3-1k.zip | The Bound-T main program for the Atmel AVR (8-bit) target, limited to 1k instructions per analysis. | 4a3 |
| Intel-8051 | boundt-8051-4a6-1k.zip | The Bound-T main program for the Intel-8051 target, limited to 1k instructions per analysis. | 4a6 |
| Renesas H8/300 | boundt-h8300-4a2-1k.zip | The Bound-T main program for the Renesas H8/300 target, limited to 1k instructions per analysis. | 4a2 |
| SPARC/ERC32 | boundt-sparc-4a3-1k.zip | The Bound-T main program for the SPARC/ERC32 target, limited to 1k instructions per analysis. | 4a3 |
| ADSP-21020 (SHARC) | boundt-sharc-4a2-1k.zip | The Bound-T main program for the Analog Devices ADSP-21020 target (an early form of SHARC), limited to 1k instructions per analysis. | 4a2 |
Bound-T for an Intel/Mac OS-X PC host consists of the four executable files for the support programs and scripts (files named oc, lp_solve, run_oc, and run_lp_solve) and one executable file for the Bound-T main program for each target processor you will use (files named boundt_<target>).
To install Bound-T, download these executable files and put them in a directory (folder) that is listed in your PATH environment variable. You can use an existing folder or make a new folder just for Bound-T. If you need help with this, you can read about it in Wikipedia, or ask Tidorum for help.
For example, the commands below show how to make a directory for Bound-T in your home directory and set your PATH to include this directory. This example assumes that your shell uses the sh or bash command syntax, not the csh syntax.
| Command | Explanation | |
|---|---|---|
cd |
Goes to your home directory. | |
mkdir bound-t |
Creates a new directory called bound-t. | |
cd bound-t |
Enters the directory bound-t. | |
... |
Download and unzip the Bound-T programs here, so that all the executables and scripts are in the bound-t directory. You will probably use a web browser for downloading, so no commands are shown at left. | |
cd |
Go to your home directory again (optional). | |
export PATH=${HOME}/bound-t:${PATH} |
Adds the bound-t directory at the front of the PATH variable for this session. This means that this directory is the first directory to be searched for a program name. | |
which lp_solve |
As a check, this asks the shell to find the lp_solve program. The resulting file path should end with bound-t/lp_solve, which shows that the program was found in the bound-t directory. | |
boundt_8051 -licence |
As a further check, and assuming that you installed Bound-T for the Intel 8051, this command asks Bound-T to display its licence. The output should be something like: "Licence limited to at most 1024 instructions (steps) per analysis. Licensed for time and stack analysis with at most 1024 instructions (steps) per analysis". |
The export command that sets the PATH variable is usually put in a shell initialization file, so that it is automatically executed every time you open a command window. For example, for the bash shell you can put it in the file .bash_profile in your home directory.
To experiment with Bound-T, you can download the examples provided for each target processor. Click on the Target links in the download table in section 2, above, to find links to the examples.