1
1
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
2
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Tổng quan về phương pháp DARTS (1/2)
-Hệ thờigianthực (hay hệ điềukhiển) là hệ mà ở đó nhiều"hoạt động"
(activités) có thể đượcthựchiện đồng thời/song song. Do mỗi "hoạt động" có
thể đượcthể hiệnbằng một "tâche" độclậphoặc một "tâche" có mối quan hệ
trướcsauvớimộthoặc nhiều "tâche(s)" khác, nên phương pháp thiết kế phải
có khả năng tạo ra từ kết qu
ả củaquátrìnhphântíchmôhìnhcác"tâches"
củahệ thờigianthựcvớicáccôngcụ giúp giải quyết các vấn đề về sự quan
hệ giữa các "tâches".
- Là mộtphương pháp được đưa ra bởi Hassan Gomaa, phương pháp
DARTS (Design Approach for Real-Time Systems) là mộtphương pháp thiết
kế các hệ thờigianthực(cáchệ điềukhiển): nó cung cấp mộttrìnhtự giúp
cấu trúc hệ thờigianthự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
3
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Tổng quan về phương pháp DARTS (2/2)
-Kýhiệucủacácphần tử trong các biểu đồ DARTS:
4
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS

là: Sémaphore và Evénement.
DARTS không cho phép phân biệtgiữa
trường hợpcónhớ (mémorisation) và
không có nhớ (non mémorisation) đối
với Evénement.
6
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Mộtsố khái niệm trong phương pháp DARTS (3/4)
- Communication synchrone: đây là mối quan hệ trướcsau(cósự trao đổi
dữ liệu) giữa hai "tâches", đượcgọilần lượt là "tâche producteur" và "tâche
consommateur". Trong mối quan hệ này, "tâche producteur" là tạora vàgởi
mộtdữ 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".
Trong phương pháp DARTS, mối quan hệ communication synchrone có thể
là một trong các kiểu sau:
+ Communication synchrone faiblement couplée
+ Communication synchrone faiblement couplée à écrasement
+ Communication synchrone fortement couplée
+ Communication synchrone faiblement couplée à prioríté
+ Communication synchrone faiblement couplée multiple de type OU
4
7
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Mộtsố khái niệm trong phương pháp DARTS (4/4)
- Communication asynchrone: đây là mộtdạng mối quan hệ communication
mà ở đó "rythmes" của "tâche producteur" và "rythmes" của "tâche
consommateur" được bảo toàn.

Các hệ thờigianthực–Phương pháp DARTS
Trình tự áp dụng phương pháp DARTS (3/5)
(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)
6
11
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Trình tự áp dụng phương pháp DARTS (4/5)
(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).
(4) Các "modules" sẽ được tích hợp vào các
"tâches" tương ứng nếu một "module"
được sử dụng độc quyền bởi một "tâche".
(vd., Device Interface Module – DIM; Data
abstration modules - DAM; State Transition
Modules - STM; Function Driver Modules).
12
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Trình tự áp dụng phương pháp DARTS (5/5)
State Transition Module (STM) – “Contrôle"
Sơ đồ cấu trúc hệ thống DARTS cho ta một cái nhìn rõ ràng
không chỉ ở khía cạnh tĩnh của hệ (thông qua các "modules"),
mà còn ở khía cạnh động của hệ (thông qua các "tâches").
7
13
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Ưu điểm củaphương pháp DARTS

Æ nên sử dụng Statecharts hay một phương pháp khác để mô tả đặc
tính hành xử (l’aspect comportemental) của hệ
(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
(3) bùng nổ số lượng "tâches"
Æ hướng đến việc sử dụng DARTS trong phương pháp đối tượng
(méthode objet)
16
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Ứng dụng phương pháp DARTS
Áp dụng phương pháp DARTS để thiết kế hệ thống an toàn của mỏ khoáng
sản, anh/chị hãy đưa ra:
(1) Biểu đồ dòng dữ liệu DARTS của hệ thống an toàn mỏ
(2) Biểu đồ cấu trúc hệ thống DARTS của hệ thống an toàn mỏ
(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?
9
17
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Giới thiệu về LabVIEW
LabVIEW (Laboratory Virtual Instrument Engineering Workbench) là một
môi trường lập trình của các ứng dụng dựa trên ngôn ngữ G.
18
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
LabVIEW và phương pháp DARTS (1/6)
Thư viện "Synchronisation" của LabVIEW

12
23
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
LabVIEW và phương pháp DARTS (6/6)
(5) Mô hình "Module de données" DARTS trong LabVIEW
24
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Thư viện DARTSVIEW
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.
13
25
Ngô Khánh Hiếu
Các hệ thờigianthực–Phương pháp DARTS
Ứng dụng DARTSVIEW: "Task Interactions"