Advanced Operating Systems

Font Size  SML

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

Lecture

Lecture 1 Class Introduction, Basics of Real-Time Systems

2012.10.3(Wed.) 1-2session

Lecture

Lecture 2 Specifying Real-Time Systems

2012.10.12(Fri.) 1-2session

Lecture

Lecture 3 Duration Calculus (1)

2012.10.19(Fri.) 1-2session

Lecture

Lecture 4 Duration Calculus (2)

2012.10.26(Fri.) 1-2session

Lecture

Lecture 5 Timed Automata (1)

2012.11.2(Fri.) 1-2session

Lecture

Lecture 6 Timed Automata (2)

2012.11.9(Fri.) 1-2session

Lecture

Lecture 7 縲

2012.11.16(Fri.) 1-2session

Lecture

Lecture 8 Verifying Real-Time Systems using UPPAAL

2012.11.21(Wed.) 1-2session

Lecture

Lecture 9 Schedulability Analysis and Scheduling Algorithms (1)

2012.11.30(Fri.) 1-2session

Lecture

Lecture 10 Schedulability Analysis and Scheduling Algorithms (2)

2012.12.7(Fri.) 1-2session

Lecture

Lecture 11 Schedulability Analysis and Scheduling Algorithms (3)

2012.12.14(Fri.) 1-2session

Lecture

Lecture 12 Real-Time Operating Systems (1)

2012.12.21(Fri.) 1-2session

Lecture

Lecture 13 Real-Time Operating Systems (2)

2013.1.11(Fri.) 1-2session

Lecture

Lecture 14 Real-Time Operating Systems (3)

2013.1.25(Fri.) 1-2session

Lecture

Lecture 15 Real-Time Operating Systems (4)

2013.2.1(Fri.) 1-2session

Get Adobe Reader

It is necessary for those who refer to the PDF file to use "Adobe Reader" as the plug-in software of Adobe System Company.
If you don't have the software, please download from this item (free).

Creative Commons License

Page Top