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.
The goal of this course is to introduce students to the theoretical foundations of real-time systems and technologies in real-time operating systems.
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
E.-R. Olderog and H. Dierks, "Real-Time Systems: Formal Specification and Automatic Verification", Cambridge University Press, 2008.
竊舌が繝壹Ξ繝シ繝繧」繝ウ繧ー繧キ繧ケ繝繝シ亥ュヲ驛ィシ会シ瑚ィ育ョ玲ゥ溘い繝シ繧ュ繝繧ッ繝√Ε迚ケ隲
譛滓忰繝ャ繝昴シ繝医↓繧医j隧穂セ。縺吶k
迚ケ縺ォ縺ェ縺
遏・隴倥Θ繝九ャ繝
蛻謨」繧キ繧ケ繝繝縺ョ蝓コ遉取ヲょソオシ悟謨」繧キ繧ケ繝繝縺ョ繝「繝繝ォ蛹厄シ悟謨」OS 縺ョ縺溘a縺ョ繧「繝ォ繧エ繝ェ繧コ繝シ
繝阪ャ繝医Ρ繝シ繧ッシ後励Ο繧サ繧ケ髢馴壻ソ。シ後そ繧ュ繝・繝ェ繝繧」