▶Japanese
Post to SNS
- Home
- > School of Computing
- > Graduate major in Computer Science
- > Advanced System Software
- School of Science
-
School of Engineering
- Undergraduate major in Mechanical Engineering
- Undergraduate major in Systems and Control Engineering
- Undergraduate major in Electrical and Electronic Engineering
- Undergraduate major in Information and Communications Engineering
- Undergraduate major in Industrial Engineering and Economics
- Common courses
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
- School of Environment and Society
- 工学院，物質理工学院，環境・社会理工学院共通科目
- Liberal arts and basic science courses
- First-Year Courses
- School of Science
- School of Engineering
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
-
School of Environment and Society
- Department of Architecture and Building Engineering
- Department of Civil and Environmental Engineering
- Department of Transdisciplinary Science and Engineering
- Department of Social and Human Sciences
- Department of Innovation Science
- Graduate major in Technology and Innovation Management
- Common courses
- Liberal arts and basic science courses
- Academic unit or major
- Graduate major in Computer Science
- Instructor(s)
- Watanabe Takuo Gondow Katsuhiko
- Class Format
- Lecture
- Media-enhanced courses
- Day/Period(Room No.)
- Mon1-2(W832) Thr1-2(W832)
- Group
- -
- Course number
- CSC.T431
- Credits
- 2
- Academic year
- 2017
- Offered quarter
- 3Q
- Syllabus updated
- 2017/3/17
- Lecture notes updated
- 2017/11/20
- Language used
- English
- Access Index
-
Lecture
Lecture 1 Course Introduction, Overview of Real-Time Systems, Schedulability Analysis
2017.9.25(Mon.) 1-2Session
Lecture
Lecture 2 Analysis of Real-Time Systems (1): Static Scheduling
2017.9.28(Thu.) 1-2Session
Lecture
Lecture 3 Embedded System Programming (1): Overview of Embedded Systems, Embedded System Programming in C/C++ (1)
2017.10.2(Mon.) 1-2Session
Lecture
Lecture 4 Embedded System Programming (2): Embedded System Programming in C/C++ (2)
2017.10.5(Thu.) 1-2Session
Lecture
Lecture 5 RTOS (1): Roles of RTOS Kernels, Real-Time Tasks
2017.10.12(Thu.) 1-2Session
Lecture
Lecture 6 RTOS (2): Threads and Synchronization Mechanisms
2017.10.16(Mon.) 1-2Session
Lecture
Lecture 7 RTOS (3): Priorities and Scheduling
2017.10.19(Thu.) 1-2Session
Lecture
Lecture 8 Class Canceled
2017.10.23(Mon.) 1-2Session
Lecture
Lecture 9 Class Canceled
2017.10.26(Thu.) 1-2Session
Lecture
Lecture 10 RTOS (4): Event-Handling Mechanisms
2017.10.30(Mon.) 1-2Session
Lecture
Lecture 11 Modeling and Verification of Real-Time Systems (1): Overview, Timed Automata
2017.11.2(Thu.) 1-2Session
Lecture
Lecture 12 Modeling and Verification of Real-Time Systems (2): Model Checking Timed Automata
2017.11.6(Mon.) 1-2Session
Lecture
Lecture 13 Analysis of Real-Time Systems (2): Dynamic Scheduling
2017.11.9(Thu.) 1-2Session
Lecture
Lecture 14 Advanced Topics (2): New Programming Paradigm for Embedded Systems
2017.11.13(Mon.) 1-2Session
Lecture
Lecture 15 Advanced Topics (2): Duration Calculus
2017.11.20(Mon.) 1-2Session
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).
