Systems Theory and a Drive Towards Model-based Safety Analysis

被引:0
|
作者
Fleming, Cody H. [1 ]
机构
[1] Univ Virginia, Syst & Informat Engn, Charlottesville, VA 22904 USA
关键词
safety analysis; automation; systems engineering; model-based engineering;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We propose that systems engineering principles taken from multidisciplinary engineering, from model-based design and systems engineering, and from new, emerging methods for safety analysis of complex, coupled systems can be applied to extend the methods of system safety assurance into a so-called field of "Model-based Safety Analysis". The safety analysis methods are based on a model of accident causality that is grounded in systems theory and frames safety as a control problem rather than just a reliability problem. This perspective can capture behaviors that are prevalent in complex, human-and software-intensive systems, and the paper includes a few brief examples to demonstrate the approach. This model-based safety analysis supplements existing model-based systems engineering activities, as well as other safety-related activities and can be applied early in concept development when design details or system specifications are not yet available-it provides a formal means for reasoning about immature system design concepts.
引用
收藏
页码:651 / 655
页数:5
相关论文
共 50 条
  • [41] Towards a Model-Based Architecture for Road Traffic Management Systems
    Rademacher, Florian
    Lammert, Mirco
    Khan, Marius
    Sachweh, Sabine
    INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2016, 2016, 639 : 650 - 662
  • [42] Towards a Model-Based Development Methodology for Evolvable Production Systems
    Rahatulain, Afifa
    Qureshi, Tahir Naseer
    Onori, Mauro
    PROCEEDINGS OF THE SECOND INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT (AECIA 2015), 2016, 427 : 83 - 92
  • [43] Towards Interactive Recommending in Model-based Collaborative Filtering Systems
    Loepp, Benedikt
    Ziegler, Juergen
    RECSYS 2019: 13TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, 2019, : 546 - 547
  • [44] Towards a Model-Based Verification Methodology for Complex Swarm Systems
    Gomes Filho, Jonas
    Przigoda, Nils
    Wille, Robert
    Drechsler, Rolf
    2016 SIXTH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED 2016), 2016, : 18 - 23
  • [45] Behavioral fault modeling for model-based safety analysis
    Joshi, Anjali
    Heimdahl, Mats P. E.
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 199 - +
  • [46] Model-based safety analysis for an aviation software specification
    Hu J.
    Chen S.
    Chen D.
    Kang J.
    Wang H.
    International Journal of Performability Engineering, 2020, 16 (02) : 238 - 254
  • [47] Tool Supported Model-Based Safety Analysis and Optimization
    Guedemann, Matthias
    Lipaczewski, Michael
    Ortmeier, Frank
    2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 294 - 295
  • [48] Model-based safety analysis of software product lines
    de Oliveira, Andre Luiz
    Braga, Rosana T. V.
    Masiero, Paulo Cesar
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 412 - 426
  • [49] SMV model-based safety analysis of software requirements
    Koh, Kwang Yong
    Seong, Poong Hyun
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 320 - 331
  • [50] Efficient Anytime Techniques for Model-Based Safety Analysis
    Bozzano, Marco
    Cimatti, Alessandro
    Griggio, Alberto
    Mattarei, Cristian
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 603 - 621