SHARCS: refinement-centric hazard analysis of requirements for critical systems

The current state of art lacks a methodical, rigorous and scalable single approach to analysis of safety and security requirements.We present SHARCS (Systematic Hierarchical Analysis of Requirements for Critical Systems), addressing this gap by adopting an abstraction-based incremental approach to hazard analysis.SHARCS combines STPA-style control action analysis with Event-B formal modeling and refinement to analyze safety and security of cyber-physical systems by flowing down system-level requ