Handbook of System Safety and Security

Editor/Author Griffor, Edward
Publication Year: 2017
Publisher: Elsevier Science & Technology

Single-User Purchase Price: $200.00
Unlimited-User Purchase Price: $300.00
ISBN: 978-0-12-803838-3
Category: Technology & Engineering - Technology
Image Count: 60
Book Status: Available
Table of Contents

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.

Share this

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