"real-time operating systems" Deutsche bedeutung