Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

Editors: Nakajima, S., Talpin, J.-P., Toyoshima, M., Yu, H. (Eds.)

  • Provides practitioners and researchers with a comprehensive introduction to the architecture-centric modeling, analysis, and verification of cyber-physical systems (CPS)
  • Demonstrates the effectiveness of the technologies with industrial sample cases from the automotive and aerospace sectors
  • Consists of self-contained chapters addressing specific scientific or engineering problems, and identifying further issues 
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: July 3, 2017
  • ISBN 978-981-10-4436-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover $89.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: June 5, 2017
  • ISBN 978-981-10-4435-9
  • Free shipping for individuals worldwide
About this book

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 focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods.

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.

About the authors

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.

Buy this book

eBook $69.99
price for USA (gross)
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: July 3, 2017
  • ISBN 978-981-10-4436-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover $89.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: June 5, 2017
  • ISBN 978-981-10-4435-9
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Book Subtitle
Communications of NII Shonan Meetings
Editors
  • Shin Nakajima
  • Jean-Pierre Talpin
  • Masumi Toyoshima
  • Huafeng Yu
Copyright
2017
Publisher
Springer Singapore
Copyright Holder
Springer Nature Singapore Pte Ltd.
eBook ISBN
978-981-10-4436-6
DOI
10.1007/978-981-10-4436-6
Hardcover ISBN
978-981-10-4435-9
Edition Number
1
Number of Pages
XIV, 159
Number of Illustrations and Tables
20 b/w illustrations, 32 illustrations in colour
Topics