Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of Nii Shonan Meetings
暫譯: 從架構分析視角看網路物理系統設計：Nii Shonan 會議通訊
Nakajima, Shin, Talpin, Jean-Pierre, Toyoshima, Masumi
- 出版商: Springer
- 出版日期: 2018-12-09
- 售價: $4,560
- 貴賓價: 9.5 折 $4,332
- 語言: 英文
- 頁數: 159
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9811351368
- ISBN-13: 9789811351365
海外代購書籍(需單獨結帳)
相關主題
商品描述
CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.
The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.
商品描述(中文翻譯)
本書提供多種技術，以確保網路物理系統（CPS）的安全性和可靠性，並全面介紹以架構為中心的CPS建模、分析和驗證。特別地，它專注於模型驅動工程方法，包括架構描述語言、虛擬原型製作和形式分析方法。
CPS基於一種新的設計範式，旨在支持新興的軟體密集型系統。嵌入式計算機和網路監控和控制物理過程，通常透過反饋迴路來實現，物理過程影響計算，反之亦然。系統設計的主要挑戰在於軟體、硬體和物理之間的持續互動。開發可靠的CPS已成為業界和社會的一個關鍵問題，因為許多應用，如交通運輸、電力分配、醫療設備和遠程醫療，都依賴於CPS。必須通過強大的驗證工具來確保安全性和安全要求。滿足這些要求，包括服務質量，意味著在系統部署之前必須正式證明所需的系統屬性。
本書關注國際標準化的建模語言，如AADL、SysML和MARTE。隨著技術的有效性在汽車和航空航天領域的工業範例中得到展示，所提出的方法與工業問題之間的聯繫變得清晰可見。每一章都是獨立的，針對特定的科學或工程問題，並識別進一步的議題。最後，它從架構分析的角度提供了CPS設計未來方向的展望。
作者簡介
Editors:
Shin Nakajima is a professor at the National Institute of Informatics (NII) and also a professor at the Graduate University for Advanced Studies (SOKENDAI). His research interests include formal methods, automated verification, and software testing.
Jean-Pierre Talpin is a senior research associate (directeur de recherche) with Inria and leads Inria project-team TEA (time, events and architectures). His research background ranges from type theory, programming languages, concurrency theory, code generation, scheduling, and verification to proof. His current research interests include the component-based design, analysis, verification, and integration of cyber-physical systems.Masumi Toyoshima is a research project manager at DENSO Corporation. His research background includes design of distributed computing systems and recent interest is Systems Engineering.
Huafeng Yu is a senior researcher with Boeing Research & Technology. He serves on IEEE Technical Committee on for Cyber-Physical Systems. His research interests include mobile autonomous systems, software architecture and safety, model-based engineering, and software certification.
作者簡介(中文翻譯)
編輯：
中島伸（Shin Nakajima）是國立資訊學研究所（National Institute of Informatics, NII）的教授，同時也是先端大學院（Graduate University for Advanced Studies, SOKENDAI）的教授。他的研究興趣包括形式方法、自動驗證和軟體測試。
讓-皮埃爾·塔爾平（Jean-Pierre Talpin）是法國國家計算機科學研究所（Inria）的高級研究員（directeur de recherche），並領導Inria專案團隊TEA（時間、事件與架構）。他的研究背景涵蓋類型理論、程式語言、併發理論、程式碼生成、排程、驗證和證明。他目前的研究興趣包括基於元件的設計、分析、驗證和網路物理系統的整合。
豐島真美（Masumi Toyoshima）是電裝公司（DENSO Corporation）的研究專案經理。他的研究背景包括分散式計算系統的設計，最近的興趣是系統工程。
余華峰（Huafeng Yu）是波音研究與技術（Boeing Research & Technology）的高級研究員。他擔任IEEE網路物理系統技術委員會的成員。他的研究興趣包括移動自主系統、軟體架構與安全性、基於模型的工程以及軟體認證。
