Navigation

19D111SSR - Real-Time Systems

Course specification
Course title Real-Time Systems
Acronym 19D111SSR
Study programme Electrical Engineering and Computing
Module Software Engineering
Type of study doctoral studies
Lecturer (for classes)
Lecturer/Associate (for practice)
    Lecturer/Associate (for OTC)
      ESPB 9.0 Status elective
      Condition
      The goal Equip students with advanced understanding of real-time software systems. Focus on critically analyzing existing solutions, identifying open research problems, and developing innovative approaches to ensure temporal correctness in complex, safety-critical software. Aims to foster original research contributions to the field.
      The outcome Critically analyze advanced real-time scheduling, formal verification, and WCET analysis. Design dependable real-time systems. Identify and propose solutions for open research problems in mixed-criticality, real-time AI, and CPS security. Develop skills for original contributions.
      Contents
      Contents of lectures Advanced topics: real-time scheduling (e.g., multi-core, hierarchical), formal methods for verification (e.g., timed automata, model checking), real-time operating systems/hypervisors, WCET analysis, fault tolerance, real-time communication. Explores mixed-criticality systems, real-time AI, and cyber-physical systems security challenges.
      Contents of exercises Significant research project (theoretical, implementation, or survey) addressing open problems. Students will present and critically discuss cutting-edge research papers. Hands-on exploration of specialized real-time analysis and verification tools. Focus on developing original research contributions applicable to the field.
      Literature
      1. C. L. Liu and James W. Layland. - Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment (Original title)
      2. Liu, J. W. S. - Real-Time Systems (Original title)
      3. Burns, A., and Davis, R. I. - Mixed Criticality Systems - A Review (Original title)
      Number of hours per week during the semester/trimester/year
      Lectures Exercises OTC Study and Research Other classes
      8
      Methods of teaching Mentorship
      Knowledge score (maximum points 100)
      Pre obligations Points Final exam Points
      Activites during lectures Test paper
      Practical lessons Oral examination 30
      Projects 70
      Colloquia
      Seminars 0