twin.fish69
New Member
Luận văn: | 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 : Luận văn ThS. Công nghệ thông tin: 60 48 10 |
Nhà xuất bản: | Đại học Công nghệ |
Ngày: | 2013 |
Chủ đề: | Công nghệ thông tin Công nghệ phần mềm Kiểm chứng mô hình RT-SPIN Thời gian thực |
Miêu tả: | Tìm hiểu cơ sở lý thuyết cho kiểm chứng mô hình, một công nghệ tự động trong đó mô hình với tập trạng thái hữu hạn của hệ thống và một tính chất logical, hệ thống sẽ kiểm tra xem tính chất đó. Spin một công cụ kiểm chứng mô hình. Spin là công cụ nhằm phân tích tính logic của hệ thống đồng thời, các giao thức giao tiếp dữ liệu. Hệ thống được mô hình hóa bởi ngôn ngữ Promela, trình bày các hệ thống thời gian thực. Nghiên cứu atomat thời gian mô hình hóa các hành vi hệ thống thời gian thực. Cung cấp các định nghĩa, đồ thị chuyển trạng thái với ràng buộc thời gian sử dùng nhiều đồng hồ giá trị thực. Otomat thời gian chấp nhận chấp nhận từ ký tự và thời gan – trình tự vô hạn với giá trị thời gian liên kết với ký tự vào; xem xét các tính chất đóng với Otomat xác định và không xác đinh; xét ứng dụng của lý thuyết nhằm kiểm thử các yêu cầu của hệ thống với các trạng thái hữu hạn. Giới thiệu mở rộng thời gian thực với công cụ spin và Promela, có hai thành công bao gồm RtSpin (Real-time Spin) và DtSpin (Discrete time Spin) nhằm mở rộng Spin với thời gian. Trong đó RtSpin dựa trên mô hình thời gian liên tục, DtSpin dựa trên mô hình thời gian rời rạc. Đưa ra một số thực nghiệm với công cụ RtSpin và DtSpin. Electronic Resources Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ: 60 48 10. Đại học Quốc gia Hà Nội, 2013 |
Ngôn ngữ: | vie |
Kiểu: | text |
Định dạng: | text/pdf 67 tr. |
Bảo hiểm: | Thư viện nhà C1T Xuân Thủy – Cầu Giấy – Hà Nội |
Quyền: | Access limited to members |
You must be registered for see links