This course shall provide knowledge about specification, design, implementation and testing of distributed real-time systems.
Timeliness of information, Clock synchronization in distributed systems, modeling of real-time systems, dependability concepts, real-time communication protocols