Methods and Tools for Developing Excellent Real-time Systems.
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 utilization.
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
- 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
Stimulation
- Periodic
- Event-driven
- Offsets
Hardware and Topology
- Single-core, multi-core, many-core
- Heterogenous SoCs
- Virtualization
- Network of ECUs and buses
- CAN, FlexRay
Event chains
- Event sequences
- Data flows
Scheduling
- Fixed-priority
- Preemptive / Cooperative
- OSEK / AUTOSAR
- Round-robin
- TDMA / ARINC 653
Specification of Real-Time Requirements
- Quality metrics
- Formalization for verifiable requirements
- System-level / end-to-end