Technical and methodic skills: construction and modeling of safety-critical hard real-time systems; time-dependent information, clock synchronization, real-time scheduling and communication.

Cognitive and practical skills: analysis of timing requirements, modeling and construction of real-time computer systems.

Social competence, qualifications in innovation and creativity: construction of dependable real-time computer systems, increasing 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

Didactic concept: Presentation of theory and examples in a number of lectures.

Writen 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.