Analyze and Verify Real-Time Capability in Worst-Case Scenarios

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

Software
  • Tasks and ISRs
  • Functions
  • Execution times
  • Event-based / queued communication
Hardware and Topology
  • Single-core, multi-core, many-core
  • Heterogenous SoCs
  • Network of ECUs and buses
  • CAN, FlexRay
Scheduling
  • Fixed-priority
  • Preemptive / cooperative
  • OSEK / AUTOSAR
  • Round-robin
  • TDMA / ARINC 653
Stimulation
  • 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