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 条
  • [1] 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
  • [2] 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
  • [3] Model-based software development - A Process for safety-critical embedded Systems
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. ATP EDITION, 2012, (7-8): : 60 - 66
  • [4] Development of safety-critical systems and model-based risk analysis with UML
    Jürjens, J
    Houmb, SH
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
  • [5] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [6] 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
  • [7] 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
  • [8] Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis
    Rao, Chang
    Guo, Jin
    Li, Nan
    Lei, Yu
    Zhang, YaDong
    Li, Yao
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 397 - 404
  • [9] 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
  • [10] Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice
    Zeller, Marc
    Ratiu, Daniel
    Hoefig, Kai
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 322 - 333
12345