- Lecturer
- Watanabe Takuo
- Place
- Fri1-2(W831)
- Credits
- Lecture2 Exercise0 Experiment0
- Code
- 76010
- Syllabus updated
- 2013/10/4
- Lecture notes updated
- 2014/1/31
- Access Index
-
- Semester
- Fall Semester
Lecture
Lecture 1 Introduction, Basics, Schedulability Analysis (1)
2013.10.4(Fri.) 1-2session
Lecture
Lecture 2 Schedulability Analysis (2)
2013.10.9(Wed.) 1-2session
Lecture
Lecture 3 Modeling Real-Time Systems (1)
2013.10.18(Fri.) 1-2session
Lecture
Lecture 4 Modeling Real-Time Systems (2)
2013.10.25(Fri.) 1-2session
Lecture
Lecture 5 縲
2013.11.1(Fri.) 1-2session
Lecture
Lecture 6 Modeling Real-Time Systems (3)
2013.11.8(Fri.) 1-2session
Lecture
Lecture 7 Specifying and Verifying Real-Time Systems (1)
2013.11.15(Fri.) 1-2session
Lecture
Lecture 8 Specifying and Verifying Real-Time Systems (2)
2013.11.22(Fri.) 1-2session
Lecture
Lecture 9 縲
2013.11.29(Fri.) 1-2session
Lecture
Lecture 10 Real-Time OS Kernel (1)
2013.12.6(Fri.) 1-2session
Lecture
Lecture 11 Real-Time OS Kernel (2)
2013.12.13(Fri.) 1-2session
Lecture
Lecture 12 Real-Time OS Kernel (3)
2013.12.20(Fri.) 1-2session
Lecture
Lecture 13 Real-Time System Programming (1)
2014.1.10(Fri.) 1-2session
Lecture
Lecture 14 Real-Time System Programming (2)
2014.1.24(Fri.) 1-2session
Lecture
Lecture 15 Real-Time System Programming (3)
2014.1.31(Fri.) 1-2session
Lecture
Lecture 16 Embedded Systems (1)
2014.2.7(Fri.) 1-2session
Experiment/Field Work
Lecture 17 Project Demo Sessions
2014.2.14(Fri.) 1-2session
