Easily add static timing analysis to your development process

Combined task response time analysis and code-level timing analysis

Evidence logo

aiT supports tight integration with RT-Druid, the schedulability analyzer from Evidence, enabling you to run WCET analyses at the code level directly from the RT-Druid user interface.

RT-Druid is an Eclipse-based tool for the modeling and schedulability analysis of embedded systems. It offers integration with the Eclipse IDE, enables specification of the functional behavior, software architecture and temporal constraints, supports Apache ANT scripting and command-line execution, and offers a detailed report and feedback information wizard for automating common usage patterns.

The aiT–RT-Druid coupling allows you to:

  • build your system inside the Eclipse environment
  • describe the functional and architectural structure using RT-Druid
  • trigger WCET analyses at the code level from the RT-Druid GUI
  • optionally also trigger StackAnalyzer for stack-usage analyses
  • import safe analysis results from aiT into RT-Druid in a fully automatic way
  • perform scheduling analysis in RT-Druid to verify deadlines
  • perform stack analysis to check maximum stack utilization at system level

Evidence and AbsInt have cooperated on the integration in the framework of the INTEREST project within the European Commission’s 6th Framework Programme on Research, Technolog­i­cal Development and Demonstration.