Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems

被引：0
|
作者：
Basnyat, Sandra
Chozos, Nick
Johnson, Chris
Palanque, Philippe
机构：
[1] Univ Toulouse 3, LIIHS, IRIT, F-31062 Toulouse 4, France
[2] Univ Glasgow, Dept Comp Sci, Glasgow G12 8QQ, Lanark, Scotland
来源：
INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION | 2006年 / 3941卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The quality of the design of an interactive safety-critical system can be enhanced by embedding data and knowledge from past experiences. Traditionally, this involves applying scenarios, usability analysis, or the use of metrics for risk analysis. In this paper, we present an approach that uses the information from incident investigations to inform the development of safety-cases that can, in turn, be used to inform a formal system model, represented using Petri nets and the ICO formalism. The foundations of the approach are first detailed and then exemplified using a fatal mining accident case study.
引用
收藏
页码：51 / 66
页数：16
相关论文
共 50 条
  • [1] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
    Chen, Yung-Yuan
    Peng, Jing-Xiang
    [J]. PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
  • [2] Model-based design, analysis and assessment framework for safety-critical systems
    Lu, Kuen-Long
    Chen, Yung-Yuan
    [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
  • [3] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [4] Supporting model-based safety analysis for safety-critical IoT systems
    Ihirwe, Felicien
    Di Ruscio, Davide
    Di Blasio, Katia
    Gianfranceschi, Simone
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2024, 78
  • [5] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [6] Model-based assurance evidence management for safety-critical systems
    Luis de la Vara, Jose
    Garcia, Arturo S.
    Valero, Jorge
    Ayora, Clara
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
  • [7] Model-Based Deployment Generation for Safety-Critical Avionics Systems
    Igna, Georgeta
    Dieudonne, Laurent
    Voss, Sebastian
    Schaetz, Bernhard
    [J]. 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
  • [8] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
    Baumgart, Andreas
    Reinkemeier, Philipp
    Rettberg, Achim
    Stierand, Ingo
    Thaden, Eike
    Weber, Raphael
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
  • [9] Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 63 - 74
  • [10] Development of safety-critical systems and model-based risk analysis with UML
    Jürjens, J
    Houmb, SH
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
12345