Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
暫譯: 網路物理系統的多範式建模基礎
Paulo Carreira , Vasco Amaral , Hans Vangheluwe
- 出版商: Springer
- 出版日期: 2020-05-08
- 售價: $2,490
- 貴賓價: 9.5 折 $2,366
- 語言: 英文
- 頁數: 285
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3030439453
- ISBN-13: 9783030439453
海外代購書籍(需單獨結帳)
商品描述
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.
商品描述(中文翻譯)
這本開放存取的書籍系統性地匯集了有關建模網路物理系統（CPS）基本原理和形式化的可靠資訊。強調CPS建模的跨學科特性，它也為任何從相關計算機科學或工程領域進入CPS的人提供了一座橋樑。
真正複雜的工程系統——即網路物理系統——整合了物理、軟體和網路方面，現在正逐漸興起。然而，這些系統並沒有統一的理論或系統的設計方法、技術或工具。各個（機械、電氣、網路或軟體）工程學科僅提供部分解決方案。最近出現了一種稱為多範式建模（Multi-Paradigm Modelling）的技術，建議明確地在最適當的抽象層級上，使用最適合的建模形式，對系統的每個部分和方面進行建模，然後將結果編織在一起，形成系統的表示。如果正確應用，它能夠實現性能分析、全面模擬和驗證等多種全球性方面。
這本書是首次系統性地將這些形式化方法整合在一起，為任何希望在CPS領域建立堅實建模基礎並全面了解現有多範式技術的人提供指導。雖然主要針對計算機科學和工程的碩士及研究生，但也可以作為實務工作者的參考書。
作者簡介
Paulo Carreira is a senior researcher at INESC-ID and senior lecturer of Software Engineering and Database Systems at the CSE Department of IST, University of Lisbon, Portugal. He has served as a scientist in multiple national, EU-funded, and industry-funded projects that applied big data and real-time sensor data processing to cyber-physical systems in the domains of energy management and building automation. Before joining academia, he worked in the industry for 10 years, and was involved in a number of high-visibility data integration projects, both in technical and managerial roles. Paulo is currently also a senior member of the IEEE and the CSO of Sensei, an AI company that turns cameras into sensors to create fully autonomous retail stores. Paulo was a workgroup leader of the MPM4CPS EU COST Action IC1404.
Vasco Amaral is a senior lecturer at the Department of Computer Science, Universidade Nova de Lisboa, Portugal, and a senior researcher of the NOVALINCS research center. Vasco is also senior member of IEEE. His research is primarily focused on model-driven engineering foundations (mostly domain-specific languages, model composition, model transformations and verification) and multi-paradigm modelling for cyber-physical systems. He has done applied research on high-energy physics computing and is currently involved in the topic of building automation projects. Also, he has been involved in the organization of a series of the international summer school on domain-specific modelling theory and practice (DSM-TP). He was vice-chair of the MPM4CPS EU COST Action IC1404.
Hans Vangheluwe is a Professor at the University of Antwerp. He is the head of the Modelling, Simulation and Design Lab (MSDL) that studies the theory of multi-paradigm modelling and builds tools to support the design and implementation of such complex systems. The MSDL is part of the School of Computer Science of McGill University in Montréal, Québec, Canada and of the AnSyMo (Antwerp Systems). Hans was a co-founder of Modelica, a language for a causal modelling of complex systems and computer automated multi-paradigm modelling. Working in a variety of projects, often with industrial partners, he has developed and applied the model-based theory and techniques of multi-paradigm modelling in such diverse domains as wastewater treatment plant design and optimization, or safe automotive software. He was also the chair of the MPM4CPS EU COST Action IC1404.
作者簡介(中文翻譯)
保羅·卡雷拉（Paulo Carreira）是INESC-ID的高級研究員，也是葡萄牙里斯本大學計算機科學與工程系的軟體工程和資料庫系統高級講師。他曾在多個國家、歐盟資助及產業資助的專案中擔任科學家，這些專案將大數據和即時感測器數據處理應用於能源管理和建築自動化的網路物理系統。在進入學術界之前，他在產業界工作了10年，參與了多個高知名度的數據整合專案，擔任技術和管理角色。保羅目前也是IEEE的高級會員，以及Sensei的首席科學官，該公司專注於將攝影機轉變為感測器，以創建完全自動化的零售商店。保羅曾是MPM4CPS歐盟COST行動IC1404的工作組負責人。
瓦斯科·阿馬拉爾（Vasco Amaral）是葡萄牙新里斯本大學計算機科學系的高級講師，也是NOVALINCS研究中心的高級研究員。瓦斯科同樣是IEEE的高級會員。他的研究主要集中在模型驅動工程基礎（主要是領域特定語言、模型組合、模型轉換和驗證）以及網路物理系統的多範式建模。他曾在高能物理計算方面進行應用研究，並目前參與建築自動化專案的相關主題。此外，他還參與了國際夏季學校的組織，該學校專注於領域特定建模理論與實踐（DSM-TP）。他曾擔任MPM4CPS歐盟COST行動IC1404的副主席。
漢斯·范赫盧（Hans Vangheluwe）是安特衛普大學的教授。他是建模、模擬與設計實驗室（MSDL）的負責人，該實驗室研究多範式建模的理論並構建支持此類複雜系統設計與實施的工具。MSDL是加拿大魁北克省蒙特利爾麥吉爾大學計算機科學學院的一部分，也是AnSyMo（安特衛普系統）的成員。漢斯是Modelica的共同創始人，這是一種用於複雜系統因果建模和計算機自動化多範式建模的語言。在多個專案中，經常與產業夥伴合作，他在廢水處理廠設計與優化或安全汽車軟體等多樣化領域中開發並應用基於模型的多範式建模理論和技術。他還曾擔任MPM4CPS歐盟COST行動IC1404的主席。
