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 条
  • [1] Analysis and Study of System Safety Based on Event Sequence Diagram
    Zheng Long
    Zhou Jinglun
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (02): : 345 - 351
  • [2] A Software Safety Verification Method Based on System-Theoretic Process Analysis
    Abdulkhaleq, Asim
    Wagner, Stefan
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 401 - 412
  • [3] Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis
    Hu, Shaoqiang
    Wu, Daohua
    Wang, Huashen
    [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION (EITRT) 2017: TRANSPORTATION, 2018, 483 : 175 - 184
  • [4] Safety PLC Programming Based on UML Statechart
    Medvedik, Milan
    Zdansky, Juraj
    [J]. 13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,
  • [5] Quality Control in Production Process of Product-Service System: a Method Based on Turtle Diagram and Evaluation Model
    Guo, Hongfei
    Zhang, Ru
    Chen, Xiangyue
    Zou, Zhengwei
    Qu, Ting
    Huang, Guoquan
    Shi, Jincheng
    Chen, Minshi
    Gu, Hao
    Lun, Yitao
    Li, Jianke
    He, Zhihui
    [J]. 11TH CIRP CONFERENCE ON INDUSTRIAL PRODUCT-SERVICE SYSTEMS, 2019, 83 : 389 - 393
  • [6] Applying Formal Method to Train Distance Control System by Combining Zed and Statechart
    Jo, Hyun-Jeong
    Hwang, Jong-Gyu
    Yoon, Yong-Ki
    [J]. 2008 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS, VOLS 1-4, 2008, : 794 - 798
  • [7] Statechart testing method for aircraft control systems
    Bogdanov, K
    Holcombe, M
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (01): : 39 - 54
  • [8] Application of causality diagram in system safety analysis
    梁新元
    [J]. Journal of Chongqing University(English Edition), 2005, (03) : 158 - 163
  • [9] Research on Reliability Analysis Method of Industrial Control System Based on Markov Process
    Wang, Chengcheng
    Liu, Xiaojing
    Wang, Chunxi
    [J]. ENGINEERING AND MANUFACTURING TECHNOLOGIES, 2014, 541-542 : 1513 - 1517
  • [10] Dynamic Bayesian Networks Method of Safety Analysis Based on Reliability Block Diagram
    Chen, Guobing
    Yang, Zichun
    Zhao, Jiayu
    Fei, Zhifang
    [J]. PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 1047 - 1051
12345