Professional Documents
Culture Documents
Bai 3 - Phuong Phap DARTS 2
Bai 3 - Phuong Phap DARTS 2
1
Ngô Khánh Hiếu
- Là một phương pháp được đưa ra bởi Hassan Gomaa, phương pháp
DARTS (Design Approach for Real-Time Systems) là một phương pháp thiết
kế các hệ thời gian thực (các hệ điều khiển): nó cung cấp một trình tự giúp
cấu trúc hệ thời gian thực thành các "tâches" song song, cũng như một cơ
chế cho phép định nghĩa mối quan hệ giữa các "tâches".
2
Ngô Khánh Hiếu
1
Các hệ thời gian thực – Phương pháp DARTS
3
Ngô Khánh Hiếu
- Tâche: trong một biểu đồ DARTS, mỗi "tâche" được thể hiện bằng một hình
bình hành. Nó có thể là một trong hai loại sau:
4
Ngô Khánh Hiếu
2
Các hệ thời gian thực – Phương pháp DARTS
- Communication synchrone: đây là mối quan hệ trước sau (có sự trao đổi
dữ liệu) giữa hai "tâches", được gọi lần lượt là "tâche producteur" và "tâche
consommateur". Trong mối quan hệ này, "tâche producteur" là tạo ra và gởi
một dữ liệu (message) đến "tâche consommateur" để kích hoạt "tâche" này.
Trong khi đó "tâche consommateur" sẽ "synchrone" với "rythme" của "tâche
producteur".
3
Các hệ thời gian thực – Phương pháp DARTS
Kiểu trao đổi dữ liệu này thường thấy ở DARTS qua các module dữ liệu với
hai hoạt động trao đổi đặc trưng là "Đọc" và "Nhận".
7
Ngô Khánh Hiếu
(1) hệ đầu tiên sẽ được phân chia thành các quá trình chức năng
(processus fonctionnels), các dòng dữ liệu sẽ được dùng để giao tiếp
giữa các quá trình chức năng (*).
8
Ngô Khánh Hiếu
4
Các hệ thời gian thực – Phương pháp DARTS
(2) Từ biểu đồ dòng dữ liệu, các "tâches" sẽ được xác định tùy thuộc vào
các "rythmes" của hệ thống.
¾ các liên hệ về thời gian giữa các processus (tính đồng thời…)
9
Ngô Khánh Hiếu
(2) Từ biểu đồ dòng dữ liệu, các "tâches" sẽ được xác định tùy thuộc vào
các "rythmes" của hệ thống (tt)
10
Ngô Khánh Hiếu
5
Các hệ thời gian thực – Phương pháp DARTS
(3) Xác định các phương thức giao tiếp giữa các "tâches" đã được xác định
ở bước (2).
12
Ngô Khánh Hiếu
6
Các hệ thời gian thực – Phương pháp DARTS
(1) DARTS là một phương pháp thiết kế dựa trên nền tản multitâche
(parallèle) Æ phù hợp cho quá trình phân tích thiết kế trên vi xử lý.
(2) DARTS là một phương pháp thiết kế dựa trên nền tản dòng dữ liệu
(l’architecture à flots de données) nên,
¾ phù hợp trong việc giảng dạy các kiến thức nền tản cơ bản liên
quan đến lập trình multitâche
¾ gần với nhiều modèles được sử dụng trong việc phân tích đáp ứng
ràng buộc thời gian của các hệ thời gian thực (validation
temporelle).
13
Ngô Khánh Hiếu
Mô hình "Task
Interactions" của
MAST
14
Ngô Khánh Hiếu
7
Các hệ thời gian thực – Phương pháp DARTS
DARTS là một phương pháp thiết kế phù hợp cho các hệ tập trung
(systèmes embarqués centralisés) có quy mô nhỏ, vì vậy trong trường hợp
tính phức tạp của hệ gia tăng, DARTS bộc lộ các vấn đề sau:
(1) bùng nổ trạng thái và bùng nổ chuyển đổi trạng thái
(2) xuất hiện yếu tố không xác định (indéterminisme) trong chuyển đổi trạng
thái khi hệ ở một trạng thái xác định
Æ hướng đến việc sử dụng DARTS trong phương pháp đối tượng
(méthode objet)
15
Ngô Khánh Hiếu
(3) Từ kết quả của câu (2), theo anh/chị hệ thống an toàn mỏ khoáng sản
cần bao nhiêu "rythmes" để hoạt động?
16
Ngô Khánh Hiếu
8
Các hệ thời gian thực – Phương pháp DARTS
17
Ngô Khánh Hiếu
Là một ngôn ngữ lập trình đồ họa hỗ trở "mulitâche" và phát triển dựa
trên nền tản dòng dữ liệu, LabVIEW có thể được coi là một công cụ kết
hợp phù hợp của phương pháp DARTS.
(*) các mô hình đưa ra trong bài giảng này được thực hiện trên LabVIEW version 7.1
18
Ngô Khánh Hiếu
9
Các hệ thời gian thực – Phương pháp DARTS
19
Ngô Khánh Hiếu
20
Ngô Khánh Hiếu
10
Các hệ thời gian thực – Phương pháp DARTS
21
Ngô Khánh Hiếu
22
Ngô Khánh Hiếu
11
Các hệ thời gian thực – Phương pháp DARTS
23
Ngô Khánh Hiếu
DARTSVIEW là thư viện các phần tử của phương pháp DARTS được
thiết kế trên môi trường lập trình đồ họa LabVIEW.
24
Ngô Khánh Hiếu
12
Các hệ thời gian thực – Phương pháp DARTS
25
Ngô Khánh Hiếu
13