HAZOP analysis of formal models of safety-critical interactive systems

被引：0
|
作者：
Hussey, A [1 ]
机构：
[1] Univ Queensland, Software Verificat Res Ctr, Brisbane, Qld 4072, Australia
来源：
COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS | 2000年 / 1943卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We consider methods for analysing interactive systems for operator errors leading to hazards. We model an industrial case study using formal methods and show how a HAZOP-based approach can be used to determine hazardous operator errors. The analysis can be used to motivate and guide redesign of the system to reduce the likelihood of such errors. The technique is amenable to automation, which we demonstrate using the Possum specification animation tool.
引用
收藏
页码：371 / 381
页数：11
相关论文
共 50 条
  • [31] SysML Aided Safety Analysis for Safety-Critical Systems
    Li, Guoqi
    Wang, Boxuan
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
  • [32] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [33] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [34] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [35] Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
    Yin, Xiang
    Gao, Bingzhao
    Yu, Xiao
    ANNUAL REVIEWS IN CONTROL, 2024, 57
  • [36] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
    Dondossola, G
    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130
  • [37] A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
    Grimm, Tomas
    Lettnin, Djones
    Huebner, Michael
    ELECTRONICS, 2018, 7 (06)
  • [38] THE ROLE OF MATHEMATICALLY FORMAL METHODS IN THE DEVELOPMENT AND ASSESSMENT OF SAFETY-CRITICAL SYSTEMS
    FROOME, P
    MONAHAN, B
    MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 539 - 546
  • [39] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
  • [40] Qualitative and quantitative analysis of safety-critical systems with
    Leupolz, Johannes
    Knapp, Alexander
    Habermaier, Axel
    Reif, Wolfgang
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 359 - 377
12345