Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Cập nhật vào: Thứ bảy - 17/10/2020 03:33

Nhan đề chính: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Nhan đề dịch: Cơ sở của đa mô hình cho hệ thống vật lý mạng
Tác giả: Paulo Carreira, Vasco Amaral, Hans Vangheluwe
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2020
Số trang: 285 tr
Ngôn ngữ: TiếngAnh
ISBN: 978-3-030-43945-3
SpringerLink

Lời giới thiệu: Cuốn sách truy cập mở này thu thập một cách chặt chẽ thông tin có cơ sở về các nguyên tắc cơ bản và hình thức để mô hình hóa các hệ thống vật lý mạng (CPS). Làm nổi bật bản chất đa 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 thực sự phức tạp, được thiết kế - được gọi là hệ thống vật lý 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ư các phương pháp, kỹ thuật hoặc công cụ thiết kế 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ỉ đưa ra các giải pháp từng phần. Một kỹ thuật được gọi là Mô hình đa mô hình đã xuất hiện gần đây đề 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) cấp độ 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 phù hợp nhất và sau đó kết hợp các kết quả lại với nhau để tạo thành một đại diện của hệ thống. Nếu được áp dụng đúng cách, nó cho phép, trong số các khía cạnh toàn cầu khác, phân tích hiệu suất, mô phỏng toàn diện và xác minh.
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 hình thức này lại 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à 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 máy tính và kỹ thuật, nó cũng có thể được sử dụng làm tài liệu tham khảo cho các học viên.

Từ khóa: Kỹ thuật thiết kế, Kỹ thuật phần mềm, Điều khiển mô hình, Đa mô hình.
Nội dung cuốn sách gồm những phần sau:
Mô hình hóa đa mô hình cho các hệ thống vật lý mạng: Nền tảng
Đồ thị trái phiếu: Khung thống nhất để lập mô hình hệ thống vật lý
Modelica: Mô hình hóa dựa trên phương trình, hướng đối tượng của các hệ thống vật lý
Sơ đồ khối nhân quả: Họ ngôn ngữ để lập mô hình nhân quả của các hệ thống vật lý mạng
THIẾT BỊ: Mô hình hóa và mô phỏng sự kiện rời rạc để phân tích hiệu suất của hệ thống hạn chế tài nguyên
Statecharts: Một chủ nghĩa hình thức để lập mô hình, mô phỏng và tổng hợp các hệ thống tính thời gian tự động và phản ứng
Petri Nets: Một ngôn ngữ chính thức để chỉ định và xác minh các hệ thống sự kiện không xác định đồng thời
AADL: Một ngôn ngữ để xác định kiến trúc của hệ thống vật lý mạng
FTG + PM: Mô tả các quy trình kỹ thuật trong mô hình đa mô hình

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Những tin mới hơn

Những tin cũ hơn