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 条
  • [11] Surrogate model-based performance assessment of integrated safety systems
    Hay J.
    Schories L.
    Bayerschen E.
    Wimmer P.
    Zehbe O.
    Kirschbichler S.
    Fehr J.
    [J]. VDI Berichte, 2022, 2022 (2387): : 283 - 294
  • [12] 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
  • [13] Model-based Safety Assessment of a Triple Modular Generator with xSAP
    Bozzano, Marco
    Cimatti, Alessandro
    Gario, Marco
    Jones, David
    Mattarei, Cristian
    [J]. FORMAL ASPECTS OF COMPUTING, 2021, 33 (02) : 251 - 295
  • [14] Model-based safety assessment for conceptual aircraft systems design
    Gradel S.
    Aigner B.
    Stumpf E.
    [J]. CEAS Aeronautical Journal, 2022, 13 (01) : 281 - 294
  • [15] The MobSTr Dataset - An Exemplar for Traceability and Model-based Safety Assessment
    Steghoefer, Jan-Philipp
    Koopmann, Bjoern
    Becker, Jan Steffen
    Stierand, Ingo
    Zeller, Marc
    Bonner, Maria
    Schmelter, David
    Maro, Salome
    [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 444 - 445
  • [16] Safety of model-based telerobotics
    Kivipuro, Maarit
    Kuivanen, Risto
    Pekonen, Klaus
    Sulkanen, Jari
    Salminen, Mika
    Tuokko, Reijo
    Viitanen, Jouko
    [J]. VTT Tiedotteita - Valtion Teknillinen Tutkimuskeskus, (1763):
  • [17] Model-based safety assessments
    Carlson, DD
    Jones, TR
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4, 1998, : 247 - 252
  • [18] Formal Management-Specifying Approach for Model-Based Safety Assessment
    Xu, Changyi
    Duan, Yiman
    Zhang, Chao
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2023, 34 (06) : 1589 - 1601
  • [19] Formal management-specifying approach for model-based safety assessment
    XU Changyi
    DUAN Yiman
    ZHANG Chao
    [J]. Journal of Systems Engineering and Electronics, 2023, 34 (06) : 1589 - 1601
  • [20] Trends in Model-based GUI Testing
    Arlt, Stephan
    Pahl, Simon
    Bertolini, Cristiano
    Schaef, Martin
    [J]. ADVANCES IN COMPUTERS, VOL 86, 2012, 86 : 183 - 222
12345