Model-Based Safety Assessment: Rational and Trends

被引：0
|
作者：
Rauzy, Antoine [1 ]
Bleriot-Fabre, Chaire [1 ]
机构：
[1] Ecole Cent Paris, Lab Genie Ind, Chatenay Malabry, France
来源：
2014 10TH FRANCE-JAPAN/ 8TH EUROPE-ASIA CONGRESS ON MECATRONICS (MECATRONICS) | 2014年
关键词：
FAULT-TREES; COMPLEXITY; ALTARICA; SYSTEMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this article, we discuss rational and trends of Model-Based Safety Assessment of complex systems. We start by explaining why classical modeling methodologies are not sufficient to tackle today's industrial challenges. Then, we sketch the main features of AltaRica 3.0, a high level modeling language which aims at overcoming these difficulties. Finally, we suggest some ideas to better integrate safety engineering with other system engineering disciplines.
引用
收藏
页码：1 / 10
页数：10
相关论文
共 50 条
  • [1] Foundations for model-based systems engineering and model-based safety assessment
    Rauzy, Antoine B.
    Haskins, Cecilia
    [J]. SYSTEMS ENGINEERING, 2019, 22 (02) : 146 - 155
  • [2] Constructive model-based analysis for safety assessment
    Gomes A.
    Mota A.
    Sampaio A.
    Ferri F.
    Watanabe E.
    [J]. International Journal on Software Tools for Technology Transfer, 2012, 14 (6) : 673 - 702
  • [3] Towards a unified model-based safety assessment
    Peikenkamp, Thomas
    Cavallo, Antonella
    Valacca, Laura
    Boede, Eckard
    Pretzer, Matthias
    Hahn, E. Moritz
    [J]. COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 275 - 288
  • [4] Defining and characterizing model-based safety assessment: A review
    Sun, Minghui
    Gautham, Smitha
    Ge, Quanbo
    Elks, Carl
    Fleming, Cody
    [J]. SAFETY SCIENCE, 2024, 172
  • [5] The AltaRica 3.0 project for Model-Based Safety Assessment
    Batteux, Michel
    Prosvirnova, Tatiana
    Rauzy, Antoine
    Bramere, Pierre-Antoine
    Cherfi, Abraham
    Friedlhuber, Thomas
    Roussel, Jean-Marc
    [J]. 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 741 - 746
  • [6] Model-based safety assessment: AltaRica 3.0 project
    Prosvirnova, T.
    Batteux, M.
    Rauzy, A.
    [J]. SAFETY, RELIABILITY AND RISK ANALYSIS: BEYOND THE HORIZON, 2014, : 1129 - 1136
  • [7] Integrated System Design and Safety Framework for Model-Based Safety Assessment
    Krishnan, Rahul
    Bhada, Shamsnaz Virani
    [J]. IEEE ACCESS, 2022, 10 : 79311 - 79334
  • [8] Systematic Model-Based Safety Assessment Via Probabilistic Model Checking
    Gomes, Adriano
    Mota, Alexandre
    Sampaio, Augusto
    Ferri, Felipe
    Buzzi, Julio
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 625 - +
  • [9] Model-based Safety Assessment using OCL and Petri Nets
    Rodriguez, Ricardo J.
    Gomez-Martinez, Elena
    [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 56 - 59
  • [10] Model-based System Safety Assessment of Aircraft Power Plant
    Li, Yan
    Gong, Qi
    Su, Duo
    [J]. 3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 85 - 92
12345