Methods and Tools for Developing Excellent Real-time Systems.
chronSIM is a tool for the design, simulation, and verification of embedded systems with an explicit focus on real-time. Processors and communication buses, scheduling and stimuli are described in timing models using either the intuitive GUI or with C/C++ source code.
chronSIM enables engineers and system architects to assess the extent to which real-time requirements are met – across all phases of the development process.
Key Features
- Scheduling simulation
- Simulation of peripherals and bus communication
- Simulation of C / C++ based models
- Event chains
- Virtual integration of distributed multi-core systems
- Time synchronization and drifting clocks
- Interactive simulation control
- Specification of complex stimulation scenarios
- Evaluation of states, events, values over time
- Online verification of real-time requirements
- Includes all visualization and analysis capabilities of chronVIEW
- Extensive statistical analysis
Modelling Capabilities
Software
- Tasks and ISRs
- Functions
- Execution times
- Supports AUTOSAR and AMALTHEA methodology
- Flexible combination of abstract models and C / C++ source code
- Event-based / queued communication
- Memory
Stimulation
- Periodic
- Event-driven
- Offsets
- Stochastic distribution
- Discrete
- Burst
Hardware and Topology
- Single-core, multi-core, many-core
- Heterogenous SoCs
- Virtualization
- Network of ECUs and buses
- LIN, CAN, FlexRay, Ethernet
Event chains
- Event sequences
- Data flows
- C / C++ API
Scheduling
- Fixed-priority
- Preemptive / Cooperative
- OSEK / AUTOSAR
- FCFS
- EDF
- Round-robin
- TDMA / ARINC 653
- Virtualization / Hypervisor
- C / C++ API for custom (user-defined) scheduling strategies
Specification of Real-Time Requirements
- Quality metrics
- Formalization for verifiable requirements
- System-level / end-to-end