Syllabus for Real Time Systems I
- 5 credits
- Course code: 1DT063
- Education cycle: Second cycle
Main field(s) of study and in-depth level:
Computer Science A1N,
Embedded Systems A1N
- Grading system: Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
- Established: 2010-03-18
- Established by:
- Revised: 2022-10-17
- Revised by: The Faculty Board of Science and Technology
- Applies from: Autumn 2023
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
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.
- Analyse real time systems with regard to keeping time and resource restrictions.
- 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
- Distributed real time systems
- Real time communication
Lectures, lessons, assignments, labs and project.
Written exam and assignments. The theory part consists of 3 credits and the practical part of 2 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.
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