.png){kind=icon}
返回
Integrating Model Checking With SysML in Complex System Safety Analysis
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2892745.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Modern complex systems are characterized by numerous complex interactions and high levels of integration of functions, which present new challenges from the viewpoints of system safety analysis and design. Model checking can be employed to perform safety analysis, identify potential hazards, and prove the correctness of complex systems. However, many types of construction models are expressed in different ways, and there exists no unified model. Thus, the integration of model checking with system modeling language is proposed herein to analyze the safety of complex systems. System modeling language (SysML) is introduced to establish a unified system model that can describe a hybrid system of hardware and software but cannot be applied directly to safety analysis. Therefore, the semi-formal model SysML is transformed into the formal model new symbolic model checker/verifier, and the transformation rules are defined. The proposed unified model can not only help designers and safety and software engineers to execute various tasks but also efficiently, completely, and accurately analyze and verify the safety of complex systems. Finally, an integrated modular avionics case is presented to illustrate how to analyze the safety of complex systems. The results of the case study show that the proposed method can help increase the efficiency of safety analysis work and improve system safety.
Keyword:
Complex system
safety analysis
model checking
system modeling language (SysML)
integrated modular avionics (IMA)
potential hazard
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
分享收藏The use of Functional Resonance Analysis Method (FRAM) in a mid-air collision to understand some characteristics of the air traffic management system resilience在空中碰撞中使用功能共振分析方法 (FRAM) 来了解空中交通管理系统弹性的某些特征
PREAI
分享收藏Concentrations and origin of polycyclic aromatic hydrocarbons in sediments of the Middle Adriatic Sea亚得里亚海中部沉积物中多环芳烃的浓度和来源OAAI
OAAI分享收藏Herstellung von Vinyl-iodiden durch Umsetzung von Vinyl-triflaten mit Magnesiumiodid.png)
Synthesis
SynthesisIF0
PREAI
分享收藏分享收藏
查看更多内容