Kiểm chứng các tính chất thời gian thực cho hệ thống đồng thời bằng RT-SPIN

73 675 0
Kiểm chứng các tính chất thời gian thực cho hệ thống đồng thời bằng RT-SPIN

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

. Vì sao chọn hệ thời gian thực Có thể nói tất cả các hệ thống điều khiển là hệ thời gian thực. Ngƣợc lại một số lớn các hệ thống thời gian thực là các hệ thống điều khiển, không hệ thống điều. một thời gian trễ chấp nhận đƣợc hay nói cách khác, hệ thời gian thực là hệ thống có các ràng buộc về thời gian đối với các hành động của hệ thống. 2.3.2 Đặc điểm của hệ thống thời gian thực. Giới thiệu về hệ thống thời gian thực 11 2.3.1 Khái niệm 11 2.3.2 Đặc điểm của hệ thống thời gian thực 12 2.3.3 Cấu tạo hệ thời gian thực 13 2.3.4 Vì sao chọn hệ thời gian thực 13 2.4 Kết

Ngày đăng: 25/03/2015, 09:46

Từ khóa liên quan

Mục lục

  • MỤC LỤC

  • Danh mục bảng biểu

  • Danh mục hình vẽ

  • Danh mục ký hiệu, từ viết tắt

  • Chương 1: Mở đầu

  • Chương 2 Cơ sở kiểm chứng mô hình

  • 2.1 Kiểm chứng dựa trên mô hình

  • 2.1.1 Khái niệm

  • 2.1.2 Các bước thực hiện

  • 2.2 Ngôn ngữ Promela và Spin

  • 2.2.1 Ngôn Ngữ Promela

  • 2.2.2 Spin

  • 2.3 Giới thiệu về hệ thống thời gian thực

  • 2.3.1 Khái niệm

  • 2.3.2 Đặc điểm của hệ thống thời gian thực

  • 2.3.3 Cấu tạo hệ thời gian thực

  • 2.3.4 Vì sao chọn hệ thời gian thực

  • 2.4 Kết luận

  • Chương 3 - Otomat thời gian

  • 3.1 Giới thiệu

Tài liệu cùng người dùng

Tài liệu liên quan