Các hệ thời gian thực – Phương pháp SA-RT

Chia sẻ: Hao Quang Halo | Ngày: | Loại File: PDF | Số trang:24

0
147
lượt xem
52
download

Các hệ thời gian thực – Phương pháp SA-RT

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

SA-RT (Structured Analysis for Real-Time Systems) là một phương pháp phân tích dựa trên tính năng và sự hoạt động của các ứng dụng của hệ điều khiển thông qua các thể hiện dưới dạng đồ họa (graphiques) và dạng ký tự (textes) để trả lời cho câu hỏi "Hệ làm gì?". Việc mô tả bằng phương pháp SA-RT làm cho các giai đoạn "thu thập thông tin" (Cahier des charges), và "xác định yêu cầu" (Spécifications) của hệ điều khiển trở nên "formelles" theo nghĩa mà ở đó phương pháp luận (tất cả các dữ liệu để phân tích)...

Chủ đề:
Lưu

Nội dung Text: Các hệ thời gian thực – Phương pháp SA-RT

Đồng bộ tài khoản