Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of Nii Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of Nii Shonan Meetings

Nakajima, Shin
Talpin, Jean-Pierre
Toyoshima, Masumi

Hardcover

Technology & EngineeringGeneral Computers

ISBN10: 981104435X
ISBN13: 9789811044359
Publisher: Springer Nature
Published: May 18 2017
Pages: 159
Weight: 0.94
Height: 0.44 Width: 6.14 Depth: 9.21
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.

Also in

General Computers

View All