Hub: engineering Part of the series System Characteristics Features of Real-Time Kernels Implementing Real-Time Operating Systems Real-Time CPU Scheduling