BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development

被引：2
|
作者：
Cutajar, Michael [1 ]
Ji, Siyuan [2 ]
机构：
[1] Nuclear Waste Services, Harwell Campus, Didcot,OX11 0GD, United Kingdom
[2] Wolfson School of Mechanical, Electrical, and Manufacturing Engineering, Loughborough University, Loughborough,LE11 3TT, United Kingdom
来源：
IEEE Open Journal of Systems Engineering | 2023年 / 1卷
关键词：
452.4 Industrial Wastes Treatment and Disposal - 481.1 Geology - 723.1.1 Computer Programming Languages - 914.1 Accidents and Accident Prevention;
D O I：
10.1109/OJSE.2023.3295946
中图分类号：
学科分类号：
摘要：
36
引用
收藏
页码：81 / 93
相关论文
共 50 条
  • [21] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    [J]. 2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [22] XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
    Masing, Leonard
    Doerr, Tobias
    Schade, Florian
    Becker, Juergen
    Keramidas, Georgios
    Antonopoulos, Christos P.
    Mavropoulos, Michail
    Tiganourias, Efstratios
    Kelefouras, Vasilios
    Antonopoulos, Konstantinos
    Voros, Nikolaos
    Durak, Umut
    Ahlbrecht, Alexander
    Zaeske, Wanja
    Panagiotou, Christos
    Karadimas, Dimitris
    Adler, Nico
    Sailer, Andreas
    Weber, Raphael
    Wilhelm, Thomas
    Nemeth, Geza
    Siddiqui, Fahad
    Khan, Rafiullah
    Garousi, Vahid
    Sezer, Sakir
    Morales, Victor
    [J]. PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 814 - 818
  • [23] Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems
    Shin, Young-Don
    Sim, Sang-Hyun
    Lee, Jae-Chon
    [J]. SYSTEMS ENGINEERING, 2017, 20 (03) : 257 - 279
  • [24] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58
  • [25] Model-Based Performance Evaluation of Safety-Critical POMDPs
    Pouya, Parisa
    Madni, Azad M.
    Adiththan, Arun
    Ramesh, S.
    Peranandam, Prakash
    [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
  • [26] Model-based assurance evidence management for safety–critical systems
    Jose Luis de la Vara
    Arturo S. García
    Jorge Valero
    Clara Ayora
    [J]. Software and Systems Modeling, 2022, 21 (6): : 2329 - 2365
  • [27] A Model-Based Framework to Assess the Reliability of Safety-Critical Applications
    Luza, Lucas Matana
    Ruospo, Annachiara
    Bosio, Alberto
    Sanchez, Ernesto
    Dilillo, Luigi
    [J]. 2021 24TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2021, : 41 - 44
  • [28] A Process-oriented Build Tool for Safety-critical Model-based Software Development
    Hochstrasser, Markus
    Myschik, Stephan
    Holzapfel, Florian
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 191 - 202
  • [29] Hazard Analysis for Safety-critical Systems using SOFL
    Abdullah, Azma Binti
    Liu, Shaoying
    [J]. PROCEEDINGS OF THE 2013 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE FOR ENGINEERING SOLUTIONS (CIES), 2013, : 133 - 140
  • [30] An Ontological Approach to Hazard Identification for Safety-Critical Systems
    Zhou, Jiale
    Hanninen, Kaj
    Lundqvist, Kristina
    Provenzano, Luciana
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017,
12345