A safety modeling method based on SysML

As the scale and integration of the modern system increasing, the function interactions and coupling relationships in the system increase as well, which eventually makes the system complex more and more. The latent interaction hazards become more difficult to identify which make it harder to perform hazard analysis. The complex characteristics of hazard process in modern system are analyzed from different levels (i.e. same level, cross-level and multi-systems), according to which SysML is chosen to describe the hazard propagation process. A safety modeling technique based on SysML is proposed. Study the correspondence between different hazard propagation modes and SysML diagrams; Utilize SysML comprehensively and clearly to show hazard propagation. Using different SysML model figures to expound different hazard propagation modes, the safety model transformed from design model based on SysML could be acquired. Eventually, the validity of this method is demonstrated by a case study of SMR in flight control system.