Tidorum Ltd

Helsinki, Finland

Tidorum develops and markets the Bound-T tool for static analysis of Worst-Case Execution Time (WCET) and worst-case stack usage. The analysis is based on the executable machine-code of the target program. The tool supports several microcontroller architectures.

The Bound-T tool applies several forms of static analysis, culminating in an analysis of the integer computations based on the Presburger Arithmetic representation and the Omega Calculator solver. As one result of this analysis, iteration bounds can be found for several kinds of counted loops.

Other projects in which Tidorum is or has been involved include ARTIST2 and Artist-Design. Further projects are listed on the company web.