Designing Critical Systems Using Hierarchical STPA and Event-B

This publication has 11 references indexed in Scilit:

• Domain-specific scenarios for refinement-based methods
  Journal of Systems Architecture, 2021
• Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis
  2019
• A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
  International Journal of Critical Computer-Based Systems, 2019
• Towards Combined Safety and Security Constraints Analysis
  2017
• Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology
  2017
• Using Hazard Analysis STAMP/STPA in Developing Model-Oriented Formal Specification toward Reliable Cloud Service
  2015
• A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA
  Procedia Engineering, 2015
• Modeling in Event-B
  2010
• Rodin: an open toolset for modelling and reasoning in Event-B
  International Journal on Software Tools for Technology Transfer, 2010
• ProB: an automated analysis toolset for the B method
  International Journal on Software Tools for Technology Transfer, 2008