Here you can download no-cost, size-limited versions of the Bound-T WCET and stack-usage analyser for the Intel/MS-Windows PC host platform and various target processors. Tidorum provides this software under a specific no-cost licence.
To use Bound-T on an Intel/MS-Windows PC, you need 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/MS-Windows host platform.
| Program | Download | Description | Version | |
|---|---|---|---|---|
| All of them | support.zip | A ZIP of the support programs for this host, the programs oc and 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 |
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-4a2-1k.zip | The Bound-T main program for the Atmel AVR (8-bit) target, limited to 1k instructions per analysis. | 4a2 |
| Intel-8051 | boundt-8051-4a5-1k.zip | The Bound-T main program for the Intel-8051 target, limited to 1k instructions per analysis. | 4a5 |
| 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-4a1-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. | 4a1 |
Bound-T for an Intel/MS-Windows host consists of the two executable files for the support programs (files named oc.exe and lp_solve.exe) and one executable file for the Bound-T main program for each target processor you will use (files named boundt_<target>.exe).
To install Bound-T, download these executable files and put them in a folder (a directory) 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 advice below show how to make a folder for Bound-T under your home folder, and how to add this folder to the PATH variable. The details may be different for different versions of MS Windows; the advice below is for Windows XP with the "classic" interface style.
| What to do | Explanation |
|---|---|
| From the Start menu, follow the path Start -> Programs -> Accessories and click on Command Prompt. | Opens a command window into which you will type the following commands. By default the command window opens with your home folder as the current directory. |
| mkdir boundt | Creates a new directory called boundt. |
| cd boundt | Enters the directory boundt. |
| ... | Download and unzip the Bound-T programs here, so that all the executables are in the boundt directory. You will probably use a web browser for downloading, so no commands are shown at left. |
| cd .. | Returns to your home directory. |
| set PATH=%CD%\boundt;%PATH% | Adds the boundt 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. |
| boundt_8051 -licence | As a 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 "set PATH" command shown above is in effect only for this command window. To avoid repeating it every time you open a command window you can change the initial value of the PATH variable as follows:
Insert the new folder name in a suitable place in the PATH value, usually at the start, and separate it from the following folder name with a semicolon (;). Write the full path to the new folder, beginning with the drive letter, for example C:\Users\jill\boundt.
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.