Unfolding Hidden Structures in Cyber-Physical Systems for Thorough STPA Analysis

Traditional safety analysis techniques have shown difficulties in incorporating dynamically changing structures of CPSs (Cyber-Physical Systems). STPA (System-Theoretic Process Analysis), one of the widely used, needs to unfold and arrange all hidden structures before beginning a full-fledged analysis. This paper proposes an intermediate model "Information Unfolding Model (IUM)" and a process "Information Unfolding Process (IUP)" to unfold dynamic structures which are hidden in CPSs and so help analysts construct control structures in STPA thoroughly.