Cover Image

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

Corporate Author: SpringerLink (Online service)
Other Authors: Nakajima, Shin. (Editor, http://id.loc.gov/vocabulary/relators/edt), Talpin, Jean-Pierre. (Editor, http://id.loc.gov/vocabulary/relators/edt), Toyoshima, Masumi. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yu, Huafeng. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Software engineering.
Control engineering.
Software Engineering.
Control and Systems Theory.
Online Access:https://doi.org/10.1007/978-981-10-4436-6
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