tailieunhanh - Luận văn: Tìm hiểu về Ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực

Xã hội phát triển, công nghệ thông tin ngày càng giữ vị trí quan trọng trong đời sống và kỹ thuật. Nó giúp cho các nhà quản lý kinh doanh, thương mại ,quân đội,các hoạt động của con người trong nhiều lĩnh vực đem lại hiệu quả cao. Đặc biệt vấn đề về điều khiển đã hỗ trợ con người đắc lực trong việc điều khiển tự đông. Việc xây dựng các phần mềm như vậy đòi hỏi phần mềm thực thi phải có độ chính xác cao đặc biệt là luôn có các ràng buộc liên quan đến thời gian | B I I I 1 1 i i 1 I I I I B BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG. Luân văn H I I i 1 I I i I I I I I I I B i B B I I i Tìm hiêu vê Otomat thời gian và ứng dụng À Ă r 1 J 1 Ấ J 1 J I trong đặc tả các hệ thông thời gian thực B ffl J5 s i I ffi B eJ ĩ gũ gg tgo ũ Ẽjs gũ tgữ i g í n fw rw í nf anr fwãi afĩpirBjĩ ií ĩfĩpi afẼãií npirgfìPií fípi ĩpira Ir311 lõi LỜI CẢM ƠN Trước hết em xin gửi lời cảm ơn đến thầy Đỗ Văn Chiểu người đã hướng dẫn em rất nhiều trong suốt quá trình tìm hiểu nghiên cứu và hoàn thành khóa luận này từ lý thuyết đến ứng dụng. Sự hướng dẫn của thầy đã giúp em có thêm được những hiểu biết về một số vấn đề liên quan đến Otomat thời gian và hệ thời gian thực. Qua những phần lý thuyết này cũng lôi cuốn em và sẽ trở thành hướng nghiên cứu tiếp của em sau khi tốt nghiệp. Đồng thời em cũng xin chân thành cảm ơn các thầy cô trong bộ môn cũng như các thầy cô trong trường đã trang bị cho em những kiến thức cơ bản cần thiết để em có thể hoàn thành tốt khóa luận này. Em xin gửi lời cảm ơn đến các thành viên lớp CT1001 những người bạn đã luôn ở bên cạnh động viên tạo điều kiện thuận lợi và cùng em tìm hiểu hoàn thành tốt khóa luận. Sau cùng em xin gửi lời cảm ơn đến gia đình bạn bè đã tạo mọi điều kiện để em xây dựng thành công khóa luận này. Hải Phòng ngày 10 tháng 6 năm 2010 Sinh viên thực hiện Đặng Thanh Tâm 1 MỤC LỤC LỜI CẢM L ỜI N ÓI Đ CHƯƠNG 1 TÌM HIỂU VỀ MODEL CHECKING VÀ LÝ THUYẾT VỀ HỆ THỜI GIAN ĐÔI NÉT VỀ MÔ HÌNH KIỂM TRA MODEL CHECKING TRONG CÔNG NGHỆ PHẦN Các yêu cầu của mô hình hệ GIỚI THIỆU VỀ HỆ THỜI GIAN Khái Đặc điểm của hệ thống thời gian Cấu tạo hệ thời gian Hệ điều hành thời gian Vì sao chọn hệ thời gian Dưới đây là một số ví dụ .10 CHƯƠNG 2 LÝ THUYẾT VỀ OTOMAT THỜI ĐỊNH NGHĨA OTOMAT THOI KHÁI NIỆM VỀ OTOMAT THỜI Mô tả cách dịch chuyển các trạng thái từng thành phần của TRAIN GATE CONTROLLER .