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 条
  • [1] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [2] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [3] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [4] Formal verification of safety-critical hybrid systems
    Livadas, C
    Lynch, NA
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 253 - 272
  • [5] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [6] Formal Techniques for Safety-Critical Systems Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 83 - 84
  • [7] Formal Verification of Safety-Critical Aerospace Systems
    Paul, Saswata
    Cruz, Elkin
    Dutta, Airin
    Bhaumik, Ankita
    Blasch, Erik
    Agha, Gul
    Patterson, Stacy
    Kopsaftopoulos, Fotis
    Varela, Carlos
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
  • [8] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [9] Formal socio-technical barrier modelling for safety-critical interactive systems design
    Basnyat, S.
    Palanque, P.
    Schupp, B.
    Wright, P.
    SAFETY SCIENCE, 2007, 45 (05) : 545 - 565
  • [10] Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
    Elmqvist, Jonas
    Nadim-Tehrani, Simin
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 154 - 164
12345