Real Time Systems
10 credits
Syllabus, Master's level, 1DT004
- 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 (5), Pass with credit (4), Pass (3), Fail (U)
- Finalised by
- The Faculty Board of Science and Technology, 20 October 2022
- Responsible department
- Department of Information Technology
Entry requirements
120 credits including Computer Architecture. Participation in 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.