Trustworthy Cyber-Physical Systems Engineering
Häftad, Engelska, 2020
939 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
From the Foreword"Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who wants to get a deep look at these concepts that will form a cornerstone for future CPS designs."--Phil Koopman, Carnegie Mellon University, Pittsburgh, Pennsylvania, USATrustworthy Cyber-Physical Systems Engineering provides practitioners and researchers with a comprehensive introduction to the area of trustworthy Cyber Physical Systems (CPS) engineering. Topics in this book cover questions such asWhat does having a trustworthy CPS actually mean for something as pervasive as a global-scale CPS? How does CPS trustworthiness map onto existing knowledge, and where do we need to know more? How can we mathematically prove timeliness, correctness, and other essential properties for systems that may be adaptive and even self-healing? How can we better represent the physical reality underlying real-world numeric quantities in the computing system? How can we establish, reason about, and ensure trust between CPS components that are designed, installed, maintained, and operated by different organizations, and which may never have really been intended to work together? Featuring contributions from leading international experts, the book contains sixteen self-contained chapters that analyze the challenges in developing trustworthy CPS, and identify important issues in developing engineering methods for CPS.The book addresses various issues contributing to trustworthiness complemented by contributions on TCSP roadmapping, taxonomy, and standardization, as well as experience in deploying advanced system engineering methods in industry. Specific approaches to ensuring trustworthiness, namely, proof and refinement, are covered, as well as engineering methods for dealing with hybrid aspects.
Produktinformation
- Utgivningsdatum2020-06-30
- Mått178 x 254 x 26 mm
- Vikt890 g
- FormatHäftad
- SpråkEngelska
- SerieChapman & Hall/CRC Computer and Information Science Series
- Antal sidor482
- FörlagTaylor & Francis Ltd
- ISBN9780367574420
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Häftad, 2019
859 kr
Del 11699
Computer Safety, Reliability, and Security
Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
Häftad, 2019
979 kr
Del 11698
Computer Safety, Reliability, and Security
Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
Häftad, 2019
859 kr
Del 9707
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
Häftad, 2016
739 kr
Del 10479
Software Engineering for Resilient Systems
Alexander Romanovsky, Elena A. Troubitsyna
Häftad, 2017
739 kr
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad, 2017
719 kr
Software Engineering for Multi-Agent Systems II
Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar
Häftad, 2004
739 kr
Architecting Dependable Systems II
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Häftad, 2004
739 kr
Hoppa över listan
Mer från samma serie
Practical Approach to Metaheuristics using LabVIEW and MATLAB®
Pedro Ponce-Cruz, Arturo Molina Gutiérrez, Ricardo A. Ramírez-Mendoza, Efraín Méndez Flores, Alexandro Antonio Ortiz Espinoza, David Christopher Balderas Silva
Häftad, 2020
1 179 kr
Practical Approach to Metaheuristics using LabVIEW and MATLAB®
Pedro Ponce-Cruz, Arturo Molina Gutiérrez, Ricardo A. Ramírez-Mendoza, Efraín Méndez Flores, Alexandro Antonio Ortiz Espinoza, David Christopher Balderas Silva
Inbunden, 2020
1 939 kr
Hoppa över listan
Du kanske också är intresserad av
Trustworthy Cyber-Physical Systems Engineering
Alexander Romanovsky, Fuyuki Ishikawa
Inbunden, 2016
1 569 kr
Del 14784
Engineering of Complex Computer Systems
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Häftad, 2024
1 109 kr
Architecting Dependable Systems II
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Häftad, 2004
739 kr
Architecting Dependable Systems
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Häftad, 2003
739 kr
Del 16579
- Nyhet
Enablers for Smart Cities
Amal El Fallah Seghrouchni, Fuyuki Ishikawa, Laurent Hérault, Hideyuki Tokuda
Inbunden, 2016
2 419 kr
Architecting Dependable Systems IV
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Häftad, 2007
739 kr
Del 15728