Tidorum Ltd develops and supplies tools that determine bounds on the time and space consumption of embedded programs.
The company's main product, Bound-T, applies static program analysis on the machine-code level to compute upper bounds on the execution time of the target program (worst case execution time, WCET) and on the worst-case consumption of stack memory. This information is valuable when the target program must fit into a given execution time (deadline) and a given amount of memory. Moreover, this information can be used to choose a processor and a memory size that match the application and thus save on hardware cost and power consumption.
Bound-T is licensed as an executable program (binary) adapted for a chosen target processor, for example the ARM7, and a chosen workstation (host) platform. For size-limited free downloads visit http://www.bound-t.com/.