Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal HẸ THÔNG TINHà Nội-2017ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGADẶC TÀ VÀ KIÉM CHƯNG CÁC HẸ THÕNG THỜI GIAN THựC sử DỤNGUPPAALNgành: Công nghệ thòng tinChuyên ngành:Kỳ Thuật Phần MềmMà số: 60480103Ll ẠN VÀN THẠC sĩ CÔNG NGHẸ THÔNG TINNGƯỜI HƯỚNG DẦN KHOA HỌC: PGS.TS PHẠM NGỌC H Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal ÙNGHà Nội - 2017iMỤC LỤCLƠI CAM ĐOAN......................................................................iiiLỜI CÁM ƠN...............................Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
..........................................ivDANH MỤC HÌNH VẼ....................................................................VCTTƯƠNG 1. GIỚI TTTự.ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal liêu xá phạm vi cùa đê lái................................................21.3Cau trúc cùa luận vãn.........................................................2CHƯƠNG 2. Cơ SỜ LÝ 1 Hl YÉ1.........................................................42.1Dặc lã hệ thong....................................... Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal ......................42.2Kiêm chứng hệ thông phân mêm................................................52.3Ô-tô-mát thói gian..........................Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
..............................7CHƯƠNG 3. DẠC TẢ VẢ KIÊM CHƯNG TRONG UPPAAL.........................................93.1Bộ công cụ 1'ppaal.............ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal cụ Uppaal............................................93.1.2.1Java Client..........................................................103.1.2.2Stand-alone Verifier.................................................163.2Mạng ở-tô-niãt thời gian trong Vppaal......................................16 Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGHGọi ngay
Chat zalo
Facebook