Is a collection of middleware and tools for real-time system developers