chronVAL allows you to analyze the real-time capability of safety-critical embedded systems using formal verification methods. Using an integrated model of the software and hardware, chronVAL calculates best and worst-case response times, preemption times, end-to-end latencies, and resource utilizations.

Sensitivity analysis detects timing bottlenecks and sporadic violations, reducing the overhead of time-consuming implementations, integrations, and testing. Thus, for engineers and architects chronVAL is a key solution to assess and optimize the robustness and scalability of their designs.

Key Features

• Best- / worst-case analysis
• Schedulability analysis
• Event chains
• Virtual integration of distributed multi-core systems
• Communication latency
• Available / remaining capacity in time intervals
• Time synchronization and drifting clocks
• Sensitivity analysis
• Verification of real-time requirements