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 /

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 inc...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Nakajima, Shin (Editor), Talpin, Jean-Pierre (Editor), Toyoshima, Masumi (Editor), Yu, Huafeng (Editor)
Format: Electronic eBook
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
Subjects:
Computer science.
Software engineering.
Control engineering.
Computer Science.
Software Engineering.
Control.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs
  • 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL
  • 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
  • 4 MARTE for CPS and CPSoS
  • 5 Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System
  • 6 Formal Methods for Aerospace Systems.

Similar Items