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 条
  • [41] The Analysis of Methods for Programming Safety-critical Systems
    Cais, Stepan
    Herout, Pavel
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 39 - 44
  • [42] Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools
    Almeida, Dalay
    Jamain, Florian
    Lecomte, Thierry
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2024, 2024, 14952 : 182 - 198
  • [43] Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
    Bestavros, Azer
    Kfoury, Assaf
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (04) : 675 - 675
  • [44] Concept of automatic usability evaluation of safety-critical interactive systems in the field
    Funk, Mathias
    Hamacher, Nico
    i-com, 2008, 7 (01) : 18 - 23
  • [45] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [46] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
  • [47] Formal development method for safety-critical system
    Wang, Hai-Feng
    Chen, Jian-Ming
    Zheng, Zhong-Yi
    Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
  • [48] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [49] Software hazards and barriers for informing the design of safety-critical interactive systems
    Basnyat, S.
    Palanque, P.
    SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 257 - 265
  • [50] Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems
    Ge, Ning
    Dieumegard, Arnaud
    Jenn, Eric
    d'Ausbourg, Bruno
    Ait-Ameur, Yamine
    PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 111 - 118
12345