Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

Nonfiction, Science & Nature, Technology, Automation, Computers, Programming, Software Development, General Computing
Cover of the book Cyber-Physical System Design from an Architecture Analysis Viewpoint by , Springer Singapore
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789811044366
Publisher: Springer Singapore Publication: May 10, 2017
Imprint: Springer Language: English
Author:
ISBN: 9789811044366
Publisher: Springer Singapore
Publication: May 10, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Singapore

Cover of the book Green Technologies for the Oil Palm Industry by
Cover of the book Intelligent Manufacturing & Mechatronics by
Cover of the book Proceedings of the Tiangong-2 Remote Sensing Application Conference by
Cover of the book Allergy and Immunotoxicology in Occupational Health by
Cover of the book Biofuels by
Cover of the book Wireless Networking and Mobile Data Management by
Cover of the book Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems by
Cover of the book Imaginations of Death and the Beyond in India and Europe by
Cover of the book Seamless Learning in the Age of Mobile Connectivity by
Cover of the book Fire Retardancy Behavior of Polymer/Clay Nanocomposites by
Cover of the book Energy Performance in the Australian Built Environment by
Cover of the book Mindfulness in the Academy by
Cover of the book Investigations of Cellular and Molecular Biophysical Properties by Atomic Force Microscopy Nanorobotics by
Cover of the book Urban and Regional Planning Education by
Cover of the book Emerging Technology in Modelling and Graphics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy