This book presents an update on the world's increasing adoption of computer-enabled products and the essential services they provide to our daily lives.

Table of Contents

• Part I SYSTEMS
• Chapter 1 Editor's Preface - E. Griffor
• 1.1 The Need for a Broadly Targeted Handbook of System Safety and Security
• Chapter 2 Composition and Compositionality in CPS - J. Sztipanovits, T. Bapty, Z. Lattmann, and S. Neema
• 2.1 Introduction
• 2.2 Horizontal Integration Platforms in the OpenMETA Tool Suite
• 2.3 AVM Component Model
• 2.4 Use Case for Semantic Integration
• 2.5 Component Interfaces and Composition Semantics for Dynamics
• 2.6 Formalization of the Semantic Interface for Modeling Languages
• 2.7 Conclusion
• Acknowledgments
• References
• Chapter 3 Software Engineering for Model-Based Development by Domain Experts - M. Bialy, V. Pantelic, J. Jaskolka, A. Schaap, L. Patcas, M. Lawford, and A. Wassyng
• 3.1 Introduction and Motivation
• 3.2 Development Process: How Do You Engineer Software?
• 3.3 Requirements: What Should Your Software Do?
• 3.4 Design: How Will Your Software Do What It Does?
• 3.5 Implementation: Generating Code
• 3.6 Verification and Validation: How Do You Know Your Software Is Good?
• 3.7 Conclusion and Future Work
• References
• Part II PERSPECTIVES ON SAFETY AND SECURITY
• Chapter 4 Evolving Security - A. Sonalker and E. Griffor
• 4.1 Need for Security in a Cyber-Physical System
• 4.2 New Adversary Modeling
• 4.3 “Connected” System Security Modeling
• 4.4 Directional Threat Assessment
• 4.5 Big Picture CPS Systems—IoT
• 4.6 Conclusion
• References
• Chapter 5 The Business of Safety - J.D. Miller
• 5.1 Introduction
• 5.2 Life Cycle of Safety
• 5.3 Management of Functional Safety
• 5.4 Conclusion
• References
• Chapter 6 Cybersecurity for Commercial Advantage - J.M. Kaplan
• 6.1 Turbulence Along the Value Chain
• 6.2 Resilience for Commercial Advantage
• Chapter 7 Reasoning About Safety and Security: The Logic of Assurance - A. Piovesan and E. Griffor
• 7.1 Introduction
• 7.2 A Strategy for Safety Case Construction
• 7.3 Decomposing the Functions of a Safety Critical System
• 7.4 Formal Reasoning for Safety Properties
• 7.5 Assurance Case Logic
• 7.6 Future Challenges
• 7.7 Conclusion
• References
• Chapter 8 From Risk Management to Risk Engineering: Challenges in Future ICT Systems - M. Huth, C. Vishik, and R. Masucci
• 8.1 Introduction
• 8.2 Key Aspects of Future ICT Systems
• 8.3 Evolution of Risk Approaches and Models
• 8.4 Risk Engineering
• 8.5 Case Study: Block-Chain Technology
• 8.6 Model-Based and Language-Based Risk Engineering
• 8.7 Summary and Conclusions
• Acknowledgments
• References
• Part III APPLICATIONS OF SYSTEM SAFETY AND SECURITY
• Chapter 9 A Design Methodology for Developing Resilient Cloud Services - C. Tunc, S. Hariri, and A. Battou
• 9.1 Motivations
• 9.2 Resilient Cloud Services Design Methodology
• 9.3 RCS Architecture
• 9.4 Experimental Results and Evaluation
• 9.5 Conclusions and Future Work
• Acknowledgments
• References
• Chapter 10 Cloud and Mobile Cloud Architecture, Security and Safety - C. Mahmoudi
• 10.1 Introduction to Cloud Computing
• 10.2 Architecture: From the Cloud to the Mobile Cloud
• 10.3 Safety Concerns
• 10.4 Cloud Security
• References
• Chapter 11 A Brief Introduction to Smart Grid Safety and Security - S. Khoussi and A. Mattas
• 11.1 Introduction to the Smart Grid
• 11.2 Safety Analysis for the Grid
• 11.3 A Security Analysis for the Smart Grid System
• References
• Appendix A An example of the Hazard Analysis and Risk Assessment Model Worksheet
• Chapter 12 The Algebra of Systems and System Interactions with an Application to Smart Grid - C. Mahmoudi, H. Bilil, and E. Griffor
• 12.1 Design Behind Success of a Smart Grid
• 12.2 Trends in Renewable Energy Integration
• 12.3 Power Systems Laws
• 12.4 A Cyber-Physical System Algebra
• 12.5 Illustration
• 12.6 Conclusion
• References