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
Link tải Free download cho anh em Ket-noi:00050002402_Noi_dung.pdf
