| Issue |
MATEC Web Conf.
Volume 179, 2018
2018 2nd International Conference on Mechanical, Material and Aerospace Engineering (2MAE 2018)
|
|
|---|---|---|
| Article Number | 03030 | |
| Number of page(s) | 10 | |
| Section | Aerospace | |
| DOI | https://doi.org/10.1051/matecconf/201817903030 | |
| Published online | 26 July 2018 | |
Method Based on SEFT-to-Petri for Safety Analysis of Software
1
University of Science and Technology of China, 230026, China
2
Institute of Computer Technology and Application of Beijing, 100854, China
a Corresponding author: xusaisai@mail.ustc.edu.cn
System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate the safety calculations. Our work is grounded on State/Event Fault Tree to analyze system faults and build functional model. Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri Net model by means of rigorous semantic relations to extract preliminary analytical model is deduced theoretically in this paper; finally, we can derive analyses of causes and results of faults from Petri Net model by adopting a set of mathematical and statistical analysis. Practically, we have also validated our work by a case study of an aeronautic control system to support this paper.
© The Authors, published by EDP Sciences 2018
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.