Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Informatik 2014 P-232, 591-596 (2014).

Gesellschaft für Informatik, Bonn
2014


Copyright © Gesellschaft für Informatik, Bonn

Contents

An integrated hazard identification method for socio-technical systems based on STPA

Rui Wang , Wei Zheng , Ci Liang and Gilles Motet

Abstract


The traditional hazard analysis approaches applied to the socio-technical system can not cover the complex organization structures, the interactions between systems and human behaviors, the interrelated factors among sub-systems and the safety culture of specific societies. This paper presents an integrated hazard identification methodology named BFM-$STPA(STPA hazard identification Based on Formalization Model)$ based on formalization model, which can solve the above issues. Firstly, the hierarchical control structure models of the socio-technical system are built with Colored Petri Nets (CPN) due to its strong description ability and executable ability, which may also be regarded as the graphical system specification. Secondly, the hazards can be identified according to the CPN models following a series of guide conditions. Thirdly, the comprehensive contributing factors to the hazards will be found out by tracing the former states with in the reachable graph generated from CPN model. Finally, an integrated hazard log can be derived for further hazard analysis and safety-guided design. In this paper, the above method was applied in the Chinese Train Control System level 3 (CTCS-3). 591 And the process of hazard identification for the scenario of Temporary Speed Restriction issued was elaborated in detail. Compared with the hazard log generated by Hazard and Operability (HAZOP), the hazard log generated by BFM- STPA covered not only the subsystem failures, but also the deviation of interactions among subsystems from design intent, human errors and sociotechnical drawbacks related to the CTCS-3.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-626-8


Last changed 18.11.2014 21:17:24