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: 1.5 ECTS = 37.5 hours; 24 lectures, 12.5 preparation and study, 1 exam.

For exam dates and registration, see course 182.713.

Written or oral exam.

Foundations of digital systems, theoretical computer science and logic, probability theory and stochastic processes, computer architectures and operating systems, microcontrollers and operating systems.