A Model-Based System Safety Analysis Tool and Case Study

被引：0

作者：

Dong, Yanhong ^{[1
,2
]}

Hu, Jun ^{[1
,2
]}

Qi, Jian ^{[1
,2
]}

Gu, Qingfan ^{[3
]}

Rong, Hao ^{[3
]}

机构：

[1] Nanjing Univ Aeronaut & Astronaut, Coll Comp Sci & Technol, Nanjing, Peoples R China

[2] Collaborat Innovat Ctr Novel Software Technol & I, Nanjing, Peoples R China

[3] China Natl Aeronaut Radio Elect Res Inst, Shanghai, Peoples R China

来源：

COMMUNICATIONS, SIGNAL PROCESSING, AND SYSTEMS, VOL. 1 | 2022年 / 878卷

关键词：

Model-based safety assessment; Landing gear system; AltaRica; 3.0; Safety analysis;

D O I：

10.1007/978-981-19-0390-8_122

中图分类号：

TB8 [摄影技术];

学科分类号：

0804 ;

摘要：

As the scale and complexity of the system tend to be increasing, model-based safety assessment (MBSA) has gradually become a research hotspot in system modeling and analysis. This paper independently designs and implements a model-based system safety analysis tool, and carries out a case study with landing gear system (LGS) as an example, including system hierarchy modeling, component interaction modeling and fault behavior modeling for LGS using AltaRica 3.0, as well as system simulation analysis and fault tree analysis for LGS on the platform. Finally, it is proved that the effectiveness of the tool and the accuracy of modeling and system safety analysis using AltaRica 3.0.

引用

页码：970 / 979

页数：10

共 50 条

[1] Tool Supported Model-Based Safety Analysis and Optimization
Guedemann, Matthias
Lipaczewski, Michael
Ortmeier, Frank
[J]. 2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 294 - 295
[2] An Integrated System Design and Safety Framework for Model-Based Safety Analysis
Krishnan, Rahul
Bhada, Shamsnaz Virani
[J]. IEEE ACCESS, 2020, 8 : 146483 - 146497
[3] Research on model-based safety analysis of flight control system
Ke, Yuhang
Li, Yanjun
Cao, Yuyuan
Zhang, Xingcheng
[J]. Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2021, 43 (11): : 3259 - 3265
[4] Model-based system analysis using Chi and Uppaal: An industrial case study
Braspenning, N. C. W. M.
Bortnik, E. M.
van de Mortel-Fronczak, J. M.
Rooda, J. E.
[J]. COMPUTERS IN INDUSTRY, 2008, 59 (01) : 41 - 54
[5] Probabilistic Model-Based Safety Analysis
Guedemann, Matthias
Ortmeier, Frank
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128
[6] Model-based design and tool data exchange in aerospace: A case study
Schumann H.
Zamov P.
Escher S.
[J]. CEAS Aeronautical Journal, 2011, 2 (1-4) : 295 - 303
[7] MODEL-BASED SYSTEMS ANALYSIS - METHODOLOGY AND CASE STUDY
ROCKART, JF
[J]. SLOAN MANAGEMENT REVIEW, 1970, 11 (02): : 1 - 14
[8] DATAM: A model-based tool for dependability analysis
Lu, XingHai
Shi, XiaoHua
Wang, WenRu
[J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2021, 33 (07):
[9] 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
[10] New Methodology for Model-Based Safety Analysis
Abdellatif, Akram Amin
Holzapfel, Florian
[J]. 2019 IEEE AEROSPACE CONFERENCE, 2019,

← 1 2 3 4 5 →