Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 174 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Methods for Modeling and Verifying Event-Driven Systems

Tác giả: Lê Hồng Anh

Lĩnh vực: Information Technology (Chuyên ngành: Kỹ thuật phần mềm)

Nội dung tài liệu:

Nghiên cứu này tập trung vào việc đề xuất các phương pháp hiệu quả để mô hình hóa và xác minh các hệ thống hướng sự kiện. Các hệ thống này phản ứng với các sự kiện được phát ra thông qua các quy tắc Event-Condition-Action (ECA) và các quy tắc Fuzzy If-Then. Luận án xem xét các đặc điểm riêng biệt và các vấn đề đặc thù của các loại hệ thống cụ thể như hệ thống cơ sở dữ liệu và hệ thống nhận biết ngữ cảnh, sau đó sử dụng Event-B và các công cụ hỗ trợ để phân tích. Luận án giới thiệu một phương pháp mới để hình thức hóa hệ thống cơ sở dữ liệu có kích hoạt (trigger), một phương pháp sử dụng tinh chỉnh Event-B để mô hình hóa và xác minh các hệ thống nhận biết ngữ cảnh, và mở rộng việc mô hình hóa các hệ thống hướng sự kiện có hành vi được chỉ định bởi các quy tắc Fuzzy If-Then. Cuối cùng, luận án sử dụng phương pháp tinh chỉnh Event-B và các phương pháp suy luận hiện có để xác minh các thuộc tính an toàn và các thuộc tính tất yếu của các yêu cầu hệ thống không rõ ràng.

Mục lục chi tiết:

  • Declaration of Authorship
  • Abstract
  • Acknowledgements
  • Table of Contents
  • List of Abbreviations
  • List of Tables
  • List of Figures
  • Chapter 1: Introduction (Motivation, Objectives, Literature review, Contributions, Thesis structure)
  • Chapter 2: Backgrounds (Temporal logic, Classical set theory, Fuzzy sets and Fuzzy If-Then rules, Formal methods, Event-B, Rodin tool, Event-driven systems, Chapter conclusions)
  • Chapter 3: Modeling and verifying database trigger systems (Introduction, Related work, Modeling and verifying database triggers system, A case study: Human resources management application, Support tool: Trigger2B, Chapter conclusions)
  • Chapter 4: Modeling and verifying context-aware systems (Introduction, Related work, Formalizing context awareness, A case study: Adaptive Cruise Control system, Chapter conclusions)
  • Chapter 5: Modeling and verifying imprecise system requirements (Introduction, Related work, Modeling fuzzy requirements, Verifying safety and eventuality properties, A case study: Container Crane Control, Chapter conclusions)
  • Chapter 6: Conclusions (Achievements, Limitations, Future work)
  • List of Publications
  • Bibliography
  • Appendix A, B, C