Tóm tắt nội dung
Cuốn sách truy cập mở này tập hợp một cách mạch lạc những thông tin có căn cứ về các nguyên tắc cơ bản và hình thức để lập mô hình các hệ thống vật lý không gian mạng (CPS). Làm nổi bật tính chất liên ngành của mô hình CPS, nó cũng đóng vai trò là cầu nối cho bất kỳ ai tham gia CPS từ các lĩnh vực liên quan đến khoa học máy tính hoặc kỹ thuật. Các hệ thống được thiết kế thực sự phức tạp—được gọi là hệ thống vật lý không gian mạng—tích hợp các khía cạnh vật lý, phần mềm và mạng hiện đang gia tăng. Tuy nhiên, không có lý thuyết thống nhất cũng như phương pháp, kỹ thuật hoặc công cụ thiết kế có hệ thống cho các hệ thống này. Các ngành kỹ thuật riêng lẻ (cơ khí, điện, mạng hoặc phần mềm) chỉ cung cấp một phần giải pháp. Một kỹ thuật được gọi là Mô hình hóa đa mô hình gần đây đã xuất hiện, đề xuất mô hình hóa mọi bộ phận và khía cạnh của hệ thống một cách rõ ràng, ở (các) mức độ trừu tượng thích hợp nhất, sử dụng (các) chủ nghĩa hình thức mô hình hóa phù hợp nhất, sau đó kết hợp các kết quả lại với nhau. để tạo thành một biểu diễn của hệ thống. Nếu được áp dụng đúng cách, nó sẽ cho phép phân tích hiệu suất, mô phỏng toàn diện và xác minh cùng với các khía cạnh toàn cầu khác. Cuốn sách này là nỗ lực có hệ thống đầu tiên nhằm tập hợp các chủ nghĩa hình thức này cho bất kỳ ai bắt đầu trong lĩnh vực CPS, những người đang tìm kiếm nền tảng mô hình vững chắc và phần giới thiệu toàn diện về các kỹ thuật đa mô hình hiện có riêng biệt. Mặc dù chủ yếu dành cho sinh viên trình độ thạc sĩ và sau đại học về khoa học và kỹ thuật máy tính, nhưng nó cũng có thể được sử dụng làm tài liệu tham khảo cho những người thực hành.
Abstract:
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)
(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)