Syllabus for Real Time Systems

Realtidssystem

Syllabus

  • 10 credits
  • Course code: 1DT004
  • Education cycle: Second cycle
  • Main field(s) of study and in-depth level: Computer Science A1N, Technology A1N, Embedded Systems A1N
  • Grading system: Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
  • Established: 2010-03-16
  • Established by:
  • Revised: 2022-10-20
  • Revised by: The Faculty Board of Science and Technology
  • Applies from: Autumn 2023
  • Entry requirements:

    120 credits including Computer Architecture. Participation in Operating Systems. Proficiency in English equivalent to the Swedish upper secondary course English 6.

  • Responsible department: Department of Information Technology

Learning outcomes

On completion of the course, the student should be able to:

  • Explain fundamental principles for programming of real time systems with time and resource limitations.
  • Describe the foundation for programming languages developed for real time programming.
  • Account for how real time operating systems are designed and functions.
  • Describe what a real time network is.
  • Use real time system programming languages and real time operating systems for real time applications.
  • Analyse real time systems with regard to keeping time and resource restrictions.

Content

  • Programming languages intended for real time systems, support in ordinary programming languages, e.g. "Ada tasking"
  • Real time operating system (RTOS)
  • System support: scheduling, resource handling
  • Design and analysis of real time system software
  • Modelling and verification of real time systems
  • Reliability and fault tolerance
  • Interrupts
  • Fault recovery
  • Distributed real time systems
  • Real time communication
  • Real time systems for multiprocessor systems

Instruction

Lectures, lessons, assignments, labs and project.

Assessment

Written test and assignments. The theory part consists of 7 credits and the practical part of 3 credits.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.

Reading list

Reading list

Applies from: Autumn 2023

Some titles may be available electronically through the University library.

  • Buttazzo, Giorgio C. Hard Real-Time Computing Systems [Elektronisk resurs] : Predictable Scheduling Algorithms and Applications

    Boston, MA: Springer US, 2011

    Tillgänglig för användare inom Uppsala universitet

    Find in the library

  • Baruah, Sanjoy; Bertogna, Marko; Buttazzo, Giorgio Multiprocessor Scheduling for Real-Time Systems

    Part of:

    Multiprocessor Scheduling for Real-Time Systems [Elektronisk resurs]

    Cham: Springer International Publishing, 2015

    Find in the library

Last modified: 2022-04-26