Overview

Full Product Details

Author:   Alexander Romanovsky (Newcastle University, United Kingdom) ,  Fuyuki Ishikawa
Publisher:   Taylor & Francis Ltd
Imprint:   Chapman & Hall/CRC
Weight:   0.890kg
ISBN:  

9780367574420

ISBN 10:   036757442
Pages:   482
Publication Date:   30 June 2020
Audience:   College/higher education ,  General/trade ,  Tertiary & Higher Education ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Concepts Of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches. Pathways To Dependable Cyber-Physical Systems Engineering. A Rigorous Definition Of Cyber-Physical Systems. A Generic Model For System Substitution Incremental Proof-Based Development For Resilient Distributed Systems. Formalizing Goal-Oriented Developmentof Resilient Cps. Formal Reasoning About Resilient Cps. Collaborative Modeling And Simulation For Cyber-Physical Systems. Verifying Trustworthy Cyber-Physical Systems Using Closed-Loop Modeling. Stop And Go Adaptive Cruise Control: A Case Study Of Automotive Cyber-Physical Systems. Model-Based Analysis Of Energy Consumption Behavior. A Formal Dsl For Multicore System Management. New Standards For Trustworthy Cyber-Physical Systems. Measurement-Based Identification Of Infrastructures For Trustworthy Cyber-Physical Systems. Mdd-Based Design, Configuration, And Monitoring Of Resilient Cps. Education Of Scientific Approaches To Trustworthy Systems For Industry: After 10 Years.

Reviews

Author Information

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.

Tab Content 6

Author Website:  

Countries Available

All regions