Model-Based Simulation of Embedded 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
Hardware and Topology
  • Single-core, multi-core, many-core
  • Heterogenous SoCs
  • Virtualization
  • Network of ECUs and buses
  • LIN, CAN, FlexRay, Ethernet
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
Stimulation
  • Periodic
  • Event-driven
  • Offsets
  • Stochastic distribution
  • Discrete
  • Burst
Event chains
  • Event sequences
  • Data flows
  • C / C++ API
Specification of Real-Time Requirements
  • Quality metrics
  • Formalization for verifiable requirements
  • System-level / end-to-end