chronVALD-Vois Border

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

Modelling Capabilities


  • Tasks and ISRs
  • Functions
  • Execution times
  • Event-based / queued communication

Hardware and Topology

  • Single-core, multi-core, many-core
  • Heterogenous SoCs
  • Virtualization
  • Network of ECUs and buses
  • CAN, FlexRay


  • Fixed-priority
  • Preemptive / Cooperative
  • Round-robin
  • TDMA / ARINC 653


  • Periodic
  • Event-driven
  • Offsets

Event chains

  • Event sequences
  • Data flows

Specification of Real-Time Requirements

  • Quality metrics
  • Formalization for verifiable requirements
  • System-level / end-to-end
Test Data
Test Data
Test Data
Test Data