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 条
  • [31] Model-Based Analysis for Safety Critical Software
    Gulan, Stefan
    Harnisch, Jens
    Johr, Sven
    Kretschmer, Roberto
    Rieger, Stefan
    Zalman, Rafael
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
  • [32] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [33] A Model-Based Method for Fault Detection and Isolation of Electric Drive Systems
    Zhang, Jiyu
    Salman, Mutasim
    2020 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2020,
  • [34] Model-based Approach for Sensor Fault-tolerant Drive Systems
    Oelkers, Fabian
    Mertens, Axel
    Rosen, Alexander
    2015 17TH EUROPEAN CONFERENCE ON POWER ELECTRONICS AND APPLICATIONS (EPE'15 ECCE-EUROPE), 2015,
  • [35] Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#
    Habermaier, Axel
    Eberhardinger, Benedikt
    Seebach, Hella
    Leupolz, Johannes
    Reif, Wolfgang
    2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2015, : 128 - 133
  • [36] Towards a Method for Combined Model-based Testing and Analysis
    Nielsen, Brian
    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 609 - 618
  • [37] Towards model-based development of safety-related control applications
    Vepsalainen, Timo
    Kuikka, Seppo
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [38] Integrating Safety Analysis into Model-Based Systems Engineering for Aircraft Systems: A Literature Review and Methodology Proposal
    Lai, Kimberly
    Robert, Thomas
    Shindman, David
    Olechowski, Alison
    INCOSE International Symposium, 2021, 31 (01) : 988 - 1003
  • [39] Towards World Model-based Test Generation in Autonomous Systems
    Andrews, Anneliese
    Abdelgawad, Mahmoud
    Gario, Ahmed
    MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 165 - 176
  • [40] Towards Model-Based Continuous Deployment of Secure IoT Systems
    Ferry, Nicolas
    Nguyen, Phu H.
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 613 - 618