Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings by Shin NakajimaEnglish | EPUB | 2017 | 168 Pages | ISBN : 981104435X | 2.9 MB
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.