- 担当教員
- 渡部 卓雄
- 使用教室
- 金1-2(W831)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 76010
- シラバス更新日
- 2012年11月8日
- 講義資料更新日
- 2012年10月11日
- アクセス指標
-
- 学期
- 後期
講義概要
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.
関連科目・履修の条件等
←オペレーティングシステム（学部），計算機アーキテクチャ特論
成績評価
期末レポートにより評価する
担当教員の一言
特になし
その他
知識ユニット
分散システムの基礎概念，分散システムのモデル化，分散OS のためのアルゴリズム，
ネットワーク，プロセス間通信，セキュリティ
