A Safety Analysis Method of Process Control System based on Statechart Diagram

被引：0
|
作者：
Zhong Deming [1 ]
Wu Nan [1 ]
Sun Rui [1 ]
Wang Qianpeng [1 ]
机构：
[1] Beihang Univ, Sch Reliabil & Syst Engn, Beijing, Peoples R China
来源：
2015 IEEE INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER) | 2015年
关键词：
STPA; safety analysis; control system; statechart diagram; state transition;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
STPA is a safety analysis method of process control systems, which can find interactive hazards between components on system level, and analyze the reason of accidents from the perspective of failed control. However, poor usability has been a problem in application and the results of different users may vary widely. By modifying the understanding of hazards in STPA and discretizing the system, this paper proposed a novel safety analysis method of process control system. A case study of a typical control system is also provided to further describe the operating procedures of the method.
引用
收藏
页码：1661 / 1664
页数：4
相关论文
共 50 条
  • [31] Safety Analysis Method for COTS Software Components in Train Control System
    Mu, Jiancheng
    Huang, Dongmei
    Ma, Lianchuan
    Cao, Yuan
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND ENGINEERING APPLICATIONS, 2016, 63 : 341 - 344
  • [32] Safety requirements analysis for a launching control system based on STPA
    Nan, Qin
    Liang, Ma
    [J]. 2019 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION (ICMA), 2019, : 1201 - 1205
  • [33] A method for analysis and assessment of system safety based on hazardous source
    Li, Bohua
    Gong, Shiyu
    Song, Guopeng
    [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL SYMPOSIUM ON SOCIAL SCIENCE (ISSS-15), 2015, 24 : 137 - 141
  • [34] Safety Design of Level Crossing Control System Based on Formal Method
    Wang X.
    Wang K.
    Xu Y.
    Tang W.
    [J]. Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2023, 58 (01): : 109 - 116
  • [35] System Modeling for Safety Analysis: Leveraging Process Maps to Create Control Structures
    Wong, L.
    Pawlicki, T.
    [J]. MEDICAL PHYSICS, 2022, 49 (06) : E131 - E131
  • [36] Safety analysis of process industry system based on complex networks theory
    Jiang, Hongquan
    Ao, Jianmin
    Gao, Zhiyong
    Li, Guo
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS I-V, CONFERENCE PROCEEDINGS, 2007, : 480 - 484
  • [37] Safety analysis by box modeling method of system behavior - Application to train control system
    Hiraguri, S
    Nishibori, N
    Hidaka, Y
    Kasai, T
    Nakamura, H
    [J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 375 - 378
  • [38] Safety analysis to process industry system based on complex networks theory
    Jiang, Hongquan
    Gao, Jianmin
    Chen, Fumin
    Gao, Zhiyong
    Li, Guo
    [J]. Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2007, 41 (07): : 806 - 810
  • [39] Transition orthogonality in statechart diagrams and inconsistencies in binary control system
    Labiak, Grzegorz
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (09): : 130 - 133
  • [40] Method for verifying system requirement specifications based on train control system safety requirements
    Iwata, Koji
    [J]. Quarterly Report of RTRI (Railway Technical Research Institute), 2013, 54 (02) : 91 - 96
12345