Cyber-Physical System Design from an Architecture Analysis Viewpoint

Cheaper in another edition — £71.50 at Springer Nature Link Shop Cyber-Physical System Design from an Architecture Analysis Viewpoint · See that edition →

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…

The cheapest new copy of Cyber-Physical System Design from an Architecture Analysis Viewpoint is £89.99 at Springer Nature Link Shop. Prices checked 2 Nov 2026

Other editions

More by Shin Nakajima

More by Shin Nakajima