- 担当教員
- 渡部 卓雄
- 使用教室
- 金1-2(W831)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 76010
- シラバス更新日
- 2015年9月16日
- 講義資料更新日
- 2016年1月29日
- アクセス指標
-
- 学期
- 後期
講義概要
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. 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
教科書・参考書等
E.-R. Olderog and H. Dierks, "Real-Time Systems: Formal Specification and Automatic Verification", Cambridge University Press, 2008.
関連科目・履修の条件等
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.
成績評価
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%)
