Bound-T downloads for Intel/Linux PC hosts

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.

1. Required support programs (for all targets)

Click on a Download link to download a Bound-T support program for the Intel/Linux 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. 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

2. Bound-T main programs (one per target)

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-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

3. Installation advice

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.

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.



Valid HTML 4.01 Transitional