Here you can download no-cost, size-limited versions of the Bound-T WCET and stack-usage analyser for the Intel/Linux PC host platform and various target processors. Tidorum provides this software under a specific no-cost licence.
To use Bound-T on an Intel/Linux 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/Linux host platform.
|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. If you download this package, you do not need to download each support program separately.||See below|
|oc||oc.zip||The Omega Calculator program, modified by Tidorum for use with Bound-T.||Om21T3|
|lp_solve||lp_solve.zip||The LP Solve program, modified by Tidorum for use with Bound-T.||L3T1|
|run_oc||run_oc.zip||A script to run oc while optionally saving the input and output files.||1.1|
|run_lp_solve||run_lp_solve.zip||A script to run lp_solve while optionally saving the input and output files.||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.
|ARM7 TDMI||boundt-arm7-4b3-1k.zip||The Bound-T main program for the ARM7 TDMI target, limited to 1k instructions per analysis.||4b3|
|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/Linux 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.
|Goes to your home directory.|
|Creates a new directory called 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.|
|Go to your home directory again (optional).|
|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.|
|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.|
|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.