Integrated Solutions
From project management to design and verification for international standards compliance!
aiT
A binary-level static analysis solution that computes strict upper bounds for task WCET (Worst-Case Execution Time) in real-time systems, precisely accounting for cache and pipeline behavior by directly analyzing executable binaries.
In real-time systems, each task must complete within a specific time to ensure correct system operation. Therefore, knowing the WCET (Worst-Case Execution Time) of each task is essential, yet determining it is highly challenging.
aiT statically analyzes task-specific cache and pipeline behavior based on abstract interpretation techniques and cache/pipeline models, and calculates accurate and strict upper bounds for WCET.
The WCET upper bounds computed by aiT are strict enough to be guaranteed for all application inputs and executions under any circumstances.
• By directly analyzing the binary executable exactly as it runs on the final system, there is no need to modify system behavior, performance, or the toolchain.
• The calculated WCET upper bounds are sufficiently strict and reflect real system performance, ensuring deadline compliance without wasting hardware resources.
Key Features
Key Capabilities
• Worst-case execution paths, infeasible calls, and recursion are automatically detected and highlighted.
• aïT automatically identifies locations that require additional annotations and provides guidance for correction.
• Each routine is linked to its Control Flow Graph (CFG), enabling deeper inspection of internal control flow.
• Allows easy access to detailed analysis information such as WCET contribution under various conditions.
• All locations requiring additional annotations are automatically marked, with optimal annotation suggestions provided for easy adjustment.
• Basic blocks can be expanded to inspect individual instructions, and all possible pipeline states for each instruction can be analyzed in detail.
• Automatically explores all possibilities for cache hits and misses during memory access
• Export user-customizable XML reports for integration, documentation, or certification purposes
• Inspect memory contents for specific address ranges
- Inspects the contents of all registers and memory cells at every program point across all execution contexts.
- Collects initialization data for global variables and provides automatically generated annotations for WCET analysis.
• TimingProfiler
- A derived product of aïT that performs static WCET analysis using simplified cache and pipeline models.
- Enables timing-aware development from early stages when the target processor has not yet been finalized.
- Once hardware is selected, users can seamlessly migrate to aïT without reinstallation, retaining all settings and annotations within the same GUI.
Industries
Use Cases
Key Clients
Share MDS Intelligence content on your SNS!
MDS Intelligence Contact
An MDS Intelligence specialist will assist you accurately and promptly.
