Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Nakajima, Shin (Επιμελητής έκδοσης), Talpin, Jean-Pierre (Επιμελητής έκδοσης), Toyoshima, Masumi (Επιμελητής έκδοσης), Yu, Huafeng (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Singapore : Springer Singapore : Imprint: Springer, 2017.
• Θέματα: Computer science.; Software engineering.; Control engineering.; Computer Science.; Software Engineering.; Control.

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

Πίνακας περιεχομένων:

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