Các hệ thời gian thực – Phương pháp SA-RT
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)...