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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Nakajima, Shin. (Editor), Talpin, Jean-Pierre. (Editor), Toyoshima, Masumi. (Editor), Yu, Huafeng. (Editor)
Format: eBook
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
Software engineering.
Control engineering.
Software Engineering.
Control and Systems Theory.
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