▶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
- 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
- 2019
- Offered quarter
- 3Q
- Syllabus updated
- 2019/3/25
- Lecture notes updated
- 2019/11/18
- Language used
- English
- Access Index
-
Lecture
Lecture 1
2019.9.26(Thu.) 1-2Session
Lecture
Lecture 2 Course Introduction and Overview, Overview of Real-Time Systems
2019.9.30(Mon.) 1-2Session
Lecture
Lecture 3 RTOS (1): Overview, Roles of RTOS Kernels, Real-Time Tasks
2019.10.3(Thu.) 1-2Session
Lecture
Lecture 4 RTOS (2): Synchronization Mechanisms in RTOS, Priorities and Scheduling
2019.10.7(Mon.) 1-2Session
Lecture
Lecture 5 RTOS Programming (1): Overview, RTOS Programming in C/C++
2019.10.17(Thu.) 1-2Session
Lecture
Lecture 6
2019.10.21(Mon.) 1-2Session
Lecture
Lecture 7
2019.10.24(Thu.) 1-2Session
Lecture
Lecture 8 RTOS Programming (2): Abstractions Mechanisms for Real-Time Processing
2019.10.28(Mon.) 1-2Session
Lecture
Lecture 9 Modeling Cyber-Physical Systems (1): Synchronous Model
2019.10.31(Thu.) 1-2Session
Lecture
Lecture 10 Modeling Cyber-Physical Systems (2): Asynchronous Model
2019.11.4(Mon.) 1-2Session
Lecture
Lecture 11 Modeling Cyber-Physical Systems (3): Timed Model
2019.11.7(Thu.) 1-2Session
Lecture
Lecture 12 Verifying Real-Time Systems: Model-Checking Timed-Automata
2019.11.11(Mon.) 1-2Session
Lecture
Lecture 13 Analysis of Real-Time Systems (1): Schedulability Analysis and Static Scheduling
2019.11.14(Thu.) 1-2Session
Lecture
Lecture 14 Analysis of Real-Time Systems (2): Dynamic Scheduling
2019.11.18(Mon.) 1-2Session
Lecture
Lecture 15 Advanced Topics: Functional Reactive Programming
2019.11.21(Thu.) 1-2Session
Experiment/Field Work
Lecture 16 Project Demo (1)
2019.12.5(Thu.) 7-8Session
Experiment/Field Work
Lecture 17 Project Demo (2)
2019.12.5(Thu.) 9-10Session
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).
