Luận Văn Thạc Sĩ Về Xấp Xỉ Hóa Thời Gian Phản Ứng Và Kiểm Định Khả Năng Lập Lịch Trong Hệ Thống ...

2013

52
0
0

Phí lưu trữ

30 Point

Mục lục chi tiết

LỜI CẢM ƠN

LỜI CAM ĐOAN

MỞ ĐẦU

1. CHƯƠNG 1: TỔNG QUAN VỀ HỆ THỜI GIAN THỰC

1.1. Hệ thống thời gian thực (Hệ thời gian thực)

1.1.1. Khái niệm hệ thời gian thực

1.1.2. Các đặc điểm chính của một hệ thời gian thực

1.1.3. Phân loại hệ thời gian thực

1.1.4. Kiểm định khả năng lập lịch của một hệ thời gian thực

1.2. Nhiệm vụ thời gian thực

1.2.1. Khái niệm nhiệm vụ thời gian thực

1.2.2. Các thuộc tính của nhiệm vụ thời gian thực

1.2.2.1. Các thuộc tính cơ bản
1.2.2.2. Các thuộc tính dẫn xuất

1.2.3. Phân loại nhiệm vụ thời gian thực

2. CHƯƠNG 2: CÁC PHƯƠNG PHÁP KIỂM ĐỊNH SỬ DỤNG ĐỘ ƯU TIÊN TĨNH

2.1. Độ ưu tiên của các nhiệm vụ

2.2. Các phương pháp gán độ ưu tiên cho nhiệm vụ

2.2.1. Phương pháp gán độ ưu tiên tĩnh

2.2.2. Phương pháp gán độ ưu tiên động

2.3. Các phương pháp kiểm định chính xác khả năng lập lịch của một hệ thời gian thực

2.3.1. Một số khái niệm quan trọng

2.3.2. Phương pháp kiểm định dựa trên phân tích yêu cầu bộ vi xử lí (PDA)

2.3.3. Phương pháp kiểm định dựa trên phân tích thời gian phản ứng (RTA)

3. CHƯƠNG 3: SỬ DỤNG BIỂU ĐỒ XẤP XỈ ĐỂ KIỂM ĐỊNH KHẢ NĂNG LẬP LỊCH VÀ TÍNH XẤP XỈ THỜI GIAN PHẢN ỨNG CỦA CÁC NHIỆM VỤ CHO HỆ VỚI KÌ HẠN RÀNG BUỘC

3.1. Sử dụng Biểu đồ xấp xỉ để kiểm định khả năng lập lịch của một hệ thời gian thực

3.1.1. Kiểm định theo phương pháp của Fisher

3.1.2. Kiểm định theo phương pháp của Nguyen Thi Huyen Chau

3.1.3. Xấp xỉ hóa thời gian phản ứng

3.1.4. Đánh giá độ phức tạp

3.2. Phương pháp kiểm định dựa trên cận trên thời gian phản ứng của Bini and Baruah

4. CHƯƠNG 4: MÔ PHỎNG ĐÁNH GIÁ BIỂU ĐỒ XẤP XỈ

4.1. Những đại lượng chính dùng trong chương trình

4.2. Kĩ thuật mô phỏng

4.3. Chương trình mô phỏng

4.4. Kết quả đạt được

5. CHƯƠNG 5: KẾT LUẬN

5.1. Xuất xứ bài toán

5.2. Kết quả đạt được

5.3. Ý nghĩa và khả năng ứng dụng của Biểu đồ xấp xỉ

5.4. Hướng nghiên cứu

TÀI LIỆU THAM KHẢO

Luận văn thạc sĩ vnu uet xấp xỉ hóa thời gian phản ứng và kiểm định khả năng lập lịch của một hệ thống thời gian thực trường hợp kì hạn ràng buộc sử dụng biểu đồ xấp xỉ