15
  • Hall 4 / Booth Number 4-138
Timing and Stack Analysis: aiT, TimingProfiler, TimeWeaver, StackAnalyzer
Company Logo
AbsInt GmbH
Key Facts
  • Runtime guarantees for real-time systems
  • No more stack overflows
  • Multi-core timing
Categories
Test and Verification Software Methods and Tools for Secure Embedded Systems Static and Run-Time Analysis Tools Other Tools and Software

Product information

  • aiT WCET Analyzer statically computes worst-case execution time guarantees for tasks on timing-predictable processors. https://www.absint.com/ait/
  • TimingProfiler computes execution time estimates for programs without the need to repeatedly provide test inputs, execute, and measure. https://www.absint.com/timingprofiler/
  • TimeWeaver performs non-invasive hybrid WCET analysis to compute tight upper bounds for the worst-case execution time on high-performance multicore processors. https://www.absint.com/timeweaver/
    • StackAnalyzer determines the worst-case stack usage of the tasks and interrupt service routines (ISRs) in your application and can formally prove the absence of stack overflows. https://www.absint.com/sta ...
    Download

    Watch our product video

    Default video thumbnail

    Timing and Stack Analysis: aiT, TimingProfiler, TimeWeaver, StackAnalyzer Video