Modosk: a modular distributed operating system kernel for real-time process control