- Lecturer
- Watanabe Takuo
- Place
- Fri1-2(W831)
- Credits
- Lecture2 Exercise0 Experiment0
- Code
- 76010
- Syllabus updated
- 2012/11/8
- Lecture notes updated
- 2012/10/11
- 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. Specification and Verification of RT Systems
1.1 Basics of RT Systems
1.2 Specifying Real-Time Systems
1.3 Duration Calculus
1.4 Timed Automata
1.5 Verifying RT Systems using UPPAAL
2. Schedulability Analysis and Scheduling Algorithms for RT Systems
3. RT/Embedded Operating 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
竊舌が繝壹Ξ繝ｼ繝繧｣繝ｳ繧ｰ繧ｷ繧ｹ繝繝ｼ亥ｭｦ驛ｨｼ会ｼ瑚ｨ育ｮ玲ｩ溘い繝ｼ繧ｭ繝繧ｯ繝√Ε迚ｹ隲
Evaluation
譛滓忰繝ｬ繝昴ｼ繝医↓繧医ｊ隧穂ｾ｡縺吶ｋ
Comments from lecturer
迚ｹ縺ｫ縺ｪ縺
Supplement
遏･隴倥Θ繝九ャ繝
蛻謨｣繧ｷ繧ｹ繝繝縺ｮ蝓ｺ遉取ｦょｿｵｼ悟謨｣繧ｷ繧ｹ繝繝縺ｮ繝｢繝繝ｫ蛹厄ｼ悟謨｣OS 縺ｮ縺溘ａ縺ｮ繧｢繝ｫ繧ｴ繝ｪ繧ｺ繝ｼ
繝阪ャ繝医Ρ繝ｼ繧ｯｼ後励Ο繧ｻ繧ｹ髢馴壻ｿ｡ｼ後そ繧ｭ繝･繝ｪ繝繧｣
