After successful completion of the course, students are able to construct and model safety-critical hard real-time systems, by using and working with time-dependent information, clock synchronization, real-time scheduling, timing analysis and real-time communication.

Cognitive and practical result: after completion of the course, students are able to analyse timing requirements and construct real-time computer systems.

Results in Social competence, qualifications in innovation and creativity: students are able to construct dependable real-time computer systems and increase the dependability of real-time computer systems.

• Foundations: real-time systems, time-dependent information, logical and temporal order
• Modeling of RTS: state and event, components, interfaces, real-time information
• Real-time communication, communication protocols for RTS
• Clock synchronization
• Fault tolerance in real-time systems
• Real-time operating systems: task structure, resource management, I/O, scheduling, worst-case execution time analysis of tasks
• Energy consumption and energy management in RTS
• RTS design: architectural styles and models, composability, design principles, certification

Presentation of theory and examples in a number of lectures.

ECTS breakdown: 2 ECTS = 50 hours; 24 lectures, 25 preparation and study, 1 exam.

Written or oral exam. While COVID-19 measures are operational, all exams are held as oral online-exams.

Materials taught in the following modules of the curriculum: Foundations of digital systems, theoretical computer science and logic, probability theory and stochastic processes, computer architectures and operating systems, microcontrollers and operating systems.