Real Time Systems

10 credits

Syllabus, Master's level, 1DT004

A revised version of the syllabus is available.
Code
1DT004
Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1N, Embedded Systems A1N, Technology A1N
Grading system
Pass with distinction, Pass with credit, Pass, Fail
Finalised by
The Faculty Board of Science and Technology, 30 August 2018
Responsible department
Department of Information Technology

Entry requirements

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

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.

FOLLOW UPPSALA UNIVERSITY ON

facebook
instagram
twitter
youtube
linkedin