- Lecturer
- Watanabe Takuo
- Place
- Fri1-2(W831)
- Credits
- Lecture2 Exercise0 Experiment0
- Code
- 76010
- Syllabus updated
- 2014/9/18
- Lecture notes updated
- 2015/1/30
- Access Index
-
- Semester
- Fall Semester
Outline of lecture
The primary objective of this course is to introduce the state of the art in operating systems and related technologies.
Topics are chosen from: Operating Systems for Embedded / Real-time Systems, Distributed OS and Middlewares, Virtual Execution Environment, System-Level Security Mechanisms, System Description Languages, Formal Approaches to System Software, etc.
This year, we focus on the foundations of real-time systems and real-time operating systems.
Purpose of lecture
The goal of this course is to introduce students to the theoretical foundations of real-time systems and technologies in real-time operating systems.
Plan of lecture
1. Introduction, Basics, Schedulability Analysis
2. Schedulability Analysis
3-5. Modeling Real-Time Systems
6-7. Specifying and Verifying Real-Time Systems
8-10. Real-Time OS Kernel
11-13. Real-Time System Programming
14-15. Embedded Systems
Textbook and reference
E.-R. Olderog and H. Dierks, "Real-Time Systems: Formal Specification and Automatic Verification", Cambridge University Press, 2008.
Related and/or prerequisite courses
Undergraduate Level Knowledge on:
(a) Theoretical CS: Propositional Logic, Predicate Logic, Finite Automata and Formal Languages
(b) Programming: C and/or Java (Processes, Threads, System APIs)
(c) Operating Systems: Basic OS Structures, Processes/Threads, Memory Management, File Systems, I/O etc.
Evaluation
1. Project (50%): Choose one of the following projects:
(a) Specification and verification project
(b) RTOS programming project
(c) Embedded device programming project
2. Report (50%)
