Increasing reliance on networking in modern safety-critical control systems requires novel methodologies integrating security consideration in the system development. We propose a systematic approach enabling systematic derivation of both safety and security constraints from the safety case. Safety case is a structured argument justifying system safety. We demonstrate how decomposition of safety goals results in deriving constraints that should be imposed on system and softwar behavior to guarantee safety in presence of accidental and malicious faults.
Elena Troybitsina (Åbo Akademu University): An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases