Bound-T downloads for Intel/Macintosh OS-X PC hosts

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.

1. Required support programs (for all targets)

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

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 The Bound-T main program for the ARM7 TDMI target, limited to 1k instructions per analysis. 4b4
Atmel AVR The Bound-T main program for the Atmel AVR (8-bit) target, limited to 1k instructions per analysis. 4a3
Intel-8051 The Bound-T main program for the Intel-8051 target, limited to 1k instructions per analysis. 4a6
Renesas H8/300 The Bound-T main program for the Renesas H8/300 target, limited to 1k instructions per analysis. 4a2
SPARC/ERC32 The Bound-T main program for the SPARC/ERC32 target, limited to 1k instructions per analysis. 4a3
ADSP-21020 (SHARC) 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/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
   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.
   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