- 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
- Exact Multiprocessor Schedulability/Feasibility Tool for sporadic tasks with constrained deadlines