Master’s studies

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), 3, 4, 5
  • Established: 2010-03-16
  • Established by: The Faculty Board of Science and Technology
  • Revised: 2018-02-20
  • Revised by: The Faculty Board of Science and Technology
  • Applies from: week 30, 2018
  • Entry requirements: 120 credits including Computer Architecture and Operating Systems.
  • Responsible department: Department of Information Technology

Learning outcomes

To pass, 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.

Reading list

Reading list

Applies from: week 30, 2018

  • Liu, Jane W. S. Real-time systems

    Upper Saddle River, N.J.: Prentice Hall, cop. 2000

    Find in the library