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 条
  • [21] Formal Techniques for Safety-Critical Systems (FTSCS 2014) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 133 : 89 - 90
  • [22] Formal Techniques for Safety-Critical Systems (FTSCS 2015) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 154 : 1 - 2
  • [23] Formal Techniques for Safety-Critical Systems (FTSCS 2018) Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 208
  • [24] Towards a Formal Approach to Analysing Security of Safety-Critical Systems
    Vistbakka, Inna
    Troubitsyna, Elena
    2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189
  • [25] Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
    Artho, Cyrille
    Olveczky, Peter Csaba
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 237
  • [26] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [27] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
    BOWEN, J
    COMPUTER, 1994, 27 (08) : 68 - 71
  • [28] USING Z TO SUPPORT THE DESIGN OF INTERACTIVE SAFETY-CRITICAL SYSTEMS
    JOHNSON, CW
    SOFTWARE ENGINEERING JOURNAL, 1995, 10 (02): : 49 - 60
  • [29] Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and Event-B
    Chen, Zuxi
    Niu, Chuanjun
    Mei, Meng
    Zhang, Hongyang
    SAFETY SCIENCE, 2025, 184
  • [30] Contributing to Safety and Due Diligence in Safety-critical Interactive Systems Development by Generating and Analyzing Finite State Models
    Thimbleby, Harold
    EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2009, : 221 - 230
12345