Đề cương môn học Đại Học Quốc Gia TP HCM Trường Đại Học Bách Khoa Khoa KH&KT Máy Tính Vietnam National University – HCMC Ho Chi Minh City University of Technology Faculty of Computer Science and Engin[.]
Đại Học Quốc Gia TP.HCM Vietnam National University – HCMC Trường Đại Học Bách Khoa Ho Chi Minh City University of Technology Khoa KH&KT Máy Tính Faculty of Computer Science and Engineering Đề cương môn học HỆ THỜI GIAN THỰC (Real-Time Systems) Số tín Số tiết Mơn khơng xếp TKB Tỉ lệ đánh giá Hình thức đánh giá Mơn tiên Môn học trước Môn song hành CTĐT ngành Trình độ (2.2.5) Tổng: 60 LT: 30 TH: MSMH CO3035 TN: 30 BT: 0% TN: 10% KT: 20% - Thi kỳ: 20%, 60 phút - Thí nghiệm: 10% - Bài tập lớn: 10% - Thi cuối kỳ: 60% trắc nghiệm, 75 phút BTL/TL: 10% - Hệ điều hành BTL/TL: x Thi: 60% CO2017 Kỹ thuật Máy tính, Khoa học Máy tính Ghi khác Mục tiêu môn học Mục tiêu môn học cung cấp cho sinh viên: - Hiểu áp dụng thời gian thực Aims: The subject aims to provide the student with: - Understanding and applications of concepts from Real Time Systems Nội dung tóm tắt mơn học Mơi trường chung quanh hệ thống máy tính thời gian thực; kiến trúc phân bố cho hệ thống thời gian thực; thời gian tồn cục; mơ hình hệ thống thời gian thực; đại lượng thời gian thực khái niệm ảnh; tính kháng lỗi; giao tiếp thời gian thực; giao thức kích hoạt thời gian; input/output; hệ điều hành thời gian thực; định thời; validation; thiết kế hệ thống; kiến trúc kích hoạt thời gian Course outline The real-time environment; distributed real-time system architecture; global time; modeling realtime systems; real-time entities and images; fault tolerance; real-time communication; timetriggered protocols; input/output; real-time operating systems; real-time scheduling; validation; system design; time-tiggered architecture Tài liệu học tập [1] “Real-Time Systems”, Hermann Kopetz, Kluwer Academic Publishers, 1997 “Real-Time Systems and Programming Languages”, Alan Burns and Andy Wellings, Addison-Wesley, 3rd Ed., 2001 [2] Hiểu biết,kỹ năng, thái độ cần đạt sau học môn học STT INDEX Chuẩn đầu môn học Hiểu cấu tạo, nguyên lý hoạt động, mô hình linh kiện điện tử chủ yếu diode, BJT FET transistor Xác định thông số thực liên kết đến hoạt động vật lý thiết bị Phân tích hoạt động trạng thái ổn định mạch điện tử ứng dụng mạch khuyếch đại, mạch khuyếch đại thuật toán CDIO Course learning outcomes Knowledge: Define basic concepts commonly used in real-time systems Cognitive Skills: Apply the material learnt in the course to design real-time systems Subject Specific Skills: Define basic concepts commonly used in real-time systems Transferable Skills: Working together to solve group exercises, to assimilate the basic material learnt in the lecture CDIO Hướng dẫn cách học - chi tiết cách đánh giá môn học Sinh viên tham gia buổi học lý thuyết, làm tập lớp nhà Sinh viên học kỹ mơ phỏng, phân tích mạch để kiểm tra kết tính tay Ngồi ra, sinh viên phân vào nhóm thực tập lớn Thí nghiệm: 10% Kiểm tra: 20% Bài tập lớn/Tiểu luận: 20% Thi: 50% Điều kiện dự thi: Sinh viên phải tham dự giảng lớp 70% (số lần điểm danh ngẫu nhiên) Sinh viên phải hoàn thành tất tập thực đầy đủ công việc yêu cầu nộp kết Dự kiến danh sách Cán tham gia giảng dạy TS Nguyễn Đức Thái TS Huỳnh Tường Nguyên Nội dung chi tiết Tuần / Chương Nội dung Chương Mơi trường hệ thống máy tính thời gian thực 1.1 Định nghĩa hệ thống thời gian thực 1.2 Yêu cầu chức năng, thời gian, dependability 1.3 Phân loại hệ thống thời gian thực Chương Kiến trúc phân bố cho hệ thống thời gian thực 2.1 Kiến trúc hệ thống Chuẩn đầu chi tiết Hoạt động đánh giá Thi Thi Tr.2/4 Tuần / Chương 10 11 12 13 14 15 Nội dung Tính tổng hợp Tính nhân rộng Dependability Thời gian tồn cục Thời gian thứ tự Đồng đồng hồ bên Đồng đồng hồ từ ngồi Mơ hình hệ thống thời gian thực Giao diện Điều khiển theo thời gian điều khiển theo luận lý 4.3 Thời gian thực thi trường hợp xấu Chương Đại lượng thời gian thực ảnh 5.1 Định nghĩa 5.2 Đối tượng thời gian thực Chương Tính kháng lỗi 6.1 Định nghĩa 6.2 Phát lỗi 6.3 Các đơn vị kháng lỗi Chương Các giao tiếp thời gian thực 7.1 Yêu cầu 7.2 Điều khiển dòng 7.3 Giao thức truy cập phương tiện truyền 7.4 Giao thức kích hoạt kiện giao thức kích hoạt thời gian Chương Các giao thức kích hoạt thời gian 8.1 Các tầng giao thức TTP/C 8.2 Giao diện ứng dụng hệ thống giao tiếp 8.3 Giao thức TTP/A Chương Input/Output 9.1 Lấy mẫu polling 9.2 Ngắt 9.3 Cảm biến actuators Chương 10 Các hệ điều hành thời gian thực 10.1 Quản lý cơng việc 10.2 Giao tiếp q trình 10.3 Quản lý thời gian 10.4 Phát lỗi Chương 11 Định thời 11.1 Bài toán định thời 11.2 Định thời động 11.3 Định thời tĩnh Chương 12 Validation 12.1 Phương pháp hình thức 12.2 Kiểm tra 12.3 Cấy lỗi 12.4 Phân tích tính chất dependability Chương 13 Thiết kế hệ thống 13.1 Phân tích yêu cầu 13.2 Phân rã hệ thống 13.3 Thiết kế chi tiết thực Chương 14 Kiến trúc kích hoạt thời gian 14.1 Cơng cụ hỗ trợ 14.2 Hệ thống thời gian thực mạng rộng Tổng kết 2.2 2.3 2.4 Chương 3.1 3.2 3.3 Chương 4.1 4.2 Chuẩn đầu chi tiết Hoạt động đánh giá Bài tập Thi Bài tập Thi Thi Thi Bài tập Thi Bài tập Thi Bài tập Thi Bài tập Thi Bài tập Thi Bài tập Thi Bài tập Thi Bài tập Thi Tr.3/4 Thông tin liên hệ Giảng viên: Bộ môn: Email: Điện thoại Giờ tiếp sinh viên: TS Nguyễn Đức Thái Hệ thống & Mạng, tòa nhà A3 thai@cse.hcmut.edu.vn Tr.4/4