Examples of WCET and stack analysis with Bound-T

Small C program

This is a small, nonsense C program that is constructed to show the main features (and limitations) of Bound-T in a compact form. More or less the same program is used for each of the Bound-T target processors:

• Intel 8051
• ARM7 TDMI
• Atmel AVR
• SPARC/ERC32; here the program is coded in Ada.
• Renesas H8/300
• ADSP-21020 (early SHARC)