Software

Open-Source Real-Time Kernels and Kernel Extensions

  • ERIKA Enterprise: an OSEK/VDX compliant real-time kernel
  • SHARK: a Real-Time Kernel for PC architectures
  • SCHED_DEADLINE for Linux: a Linux scheduling class implementing temporal isolation under Earliest Deadline First (EDF)
  • AQUOSA: an open-source project for adaptive Quality of Service into the Linux kernel
  • LITMUSRT: A Linux kernel platform for multicore soft real-time scheduling and synchronization research
  • Quest: A lightweight, predictable and dependable kernel for multicore processors

Tools and Benchmarks

  • UPPAAL: Modeling, verification and validation of real-time systems.
  • PARTICORE: Partitioning Tool for Multi-core Reservations
  • CARTS: Compositional Analysis of Real-Time Systems
  • Chronos: Worst-case execution time analysis for single-core systems
  • Multi-core extension of Chronos: WCET analysis for multi-core systems

Scheduling Simulators

  • RTSIM: Real-time scheduling simulator
  • SPARTS: Simulator for a generic real-time embedded device, considering time and energy consumption
  • TRUE-TIME: Matlab/Simulink-based simulator for real-time control systems
  • YAOSIM: Simulator for limited preemptive scheduling

Comments are closed.