Cyber-Physical System Design from an Architecture Analysis Viewpoint
Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it fo
- PDF / 6,862,318 Bytes
- 168 Pages / 453.543 x 683.15 pts Page_size
- 107 Downloads / 196 Views
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Shin Nakajima Jean-Pierre Talpin Masumi Toyoshima Huafeng Yu •
•
Editors
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
123
Editors Shin Nakajima National Institute of Informatics Tokyo Japan
Masumi Toyoshima DENSO Corporation Kariya, Aichi Japan
Jean-Pierre Talpin Inria Rennes France
Huafeng Yu Boeing Research & Technology Huntsville, AL USA
ISBN 978-981-10-4435-9 DOI 10.1007/978-981-10-4436-6
ISBN 978-981-10-4436-6
(eBook)
Library of Congress Control Number: 2017937134 © Springer Nature Singapore Pte Ltd. 2017 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by Springer Nature The registered company is Springer Nature Singapore Pte Ltd. The registered company address is: 152 Beach Road, #21-01/04 Gateway East, Singapore 189721, Singapore
Preface
The term cyber-physical system (CPS) was introduced by Helen Gill at the NSF referring to the integration of computation and physical processes. In CPS, embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this perpetual interaction of software, hardware, and physics. CPS safety is often critical for society in many applications such as transportations, whether automotive, trains or airplanes, power distribution, medical equipment, or tele-medicine. Whether or not life is threatened, failures may have huge economic impact. Developing reliable CPS has become a critical issue for the industry and society. Safety and security requirements must be ensured by
Data Loading...
