Romanovsky / Ishikawa Trustworthy Cyber-Physical Systems Engineering

Erscheinungsjahr 2016
ISBN: 978-1-4987-4248-1
Verlag: CRC Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 488 Seiten

Reihe: Chapman & Hall/CRC Computer and Information Science Series

The aim of this book is to give practitioners and researchers a comprehensive introduction to the area of trustworthy cyber-physical systems engineering. The book covers various topics related to engineering modern/future trustworthy CPS, including modeling, verification, rigorous design, simulation, requirements engineering, dependability, resilience, safety, architectural design, codesign/co-simulation, validation, modeling of constraint resources, safety cases, service-level agreement, and run-time resource optimization/allocation.

Zielgruppe

This book is intended for researchers and students in systems engineering, computer engineering, and software engineering.

Autoren/Hrsg.

Romanovsky, Alexander

Ishikawa, Fuyuki

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein
• Mathematik | Informatik EDV | Informatik Technische Informatik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering

Inhaltsverzeichnis

Introduction. Pathways to Trustworthy Cyber-Physical Systems Engineering. Well-Founded Collaborative Modeling and Co-Simulation. Model Checking of Energy Consumption Behavior Using Real-Time Maude. Rapid Prototyping with a Formal DSL. A Generic Model for System Substitution. Concepts of Dependable Cyber-Physical Systems Engineering. A Rigorous Definition of Cyber Physical Systems. Formal Development of Resilient Cyber-Physical Systems. Incremental Proof-based Development for Resilient Distributed Systems. Verifying Trustworthy Cyber-Physical Systems Using Closed-loop Modeling. Stop-and-Go Adaptive Cruise Control: A Case Study of Automotive Cyber-Physical Systems. New Standards for Trustworthy Cyber Physical Systems. Measurement Based Identification of Infrastructures for Trustworthy Cyber Physical Systems. MDD-Based Infrastructure Design, Configuration, and Monitoring of Resilient Cyber-Physical Systems. Modeling of Autonomic Component Behavior in Event-B. Delivering to and Discussing Techniques for Trustworthiness with Industry.

Über Autor(innen)

Alexander Romanovsky is a professor in the School of Computing Science at Newcastle University, UK.

Fuyuki Ishikawa is an associate professor in the Digital Content and Media Sciences Research Division at the National Institute of Informatics, Japan.