Method Based on SEFT-to-Petri for Safety Analysis of Software
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 Enginee...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2018-01-01
|
| Series: | MATEC Web of Conferences |
| Online Access: | https://doi.org/10.1051/matecconf/201817903030 |
| _version_ | 1818556840752971776 |
|---|---|
| author | Sai-sai Xu Jing Chen Yu-ning Sun Xin-rui Gao Bo-han Wang Kun-long Wang |
| author_facet | Sai-sai Xu Jing Chen Yu-ning Sun Xin-rui Gao Bo-han Wang Kun-long Wang |
| author_sort | Sai-sai Xu |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-13T23:52:26Z |
| format | Article |
| id | doaj.art-5d1a3bc8f6f441d99fb715a941029da8 |
| institution | Directory Open Access Journal |
| issn | 2261-236X |
| language | English |
| last_indexed | 2024-12-13T23:52:26Z |
| publishDate | 2018-01-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | MATEC Web of Conferences |
| spelling | doaj.art-5d1a3bc8f6f441d99fb715a941029da82022-12-21T23:26:44ZengEDP SciencesMATEC Web of Conferences2261-236X2018-01-011790303010.1051/matecconf/201817903030matecconf_2mae2018_03030Method Based on SEFT-to-Petri for Safety Analysis of SoftwareSai-sai XuJing ChenYu-ning SunXin-rui GaoBo-han WangKun-long WangSystem 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.https://doi.org/10.1051/matecconf/201817903030 |
| spellingShingle | Sai-sai Xu Jing Chen Yu-ning Sun Xin-rui Gao Bo-han Wang Kun-long Wang Method Based on SEFT-to-Petri for Safety Analysis of Software MATEC Web of Conferences |
| title | Method Based on SEFT-to-Petri for Safety Analysis of Software |
| title_full | Method Based on SEFT-to-Petri for Safety Analysis of Software |
| title_fullStr | Method Based on SEFT-to-Petri for Safety Analysis of Software |
| title_full_unstemmed | Method Based on SEFT-to-Petri for Safety Analysis of Software |
| title_short | Method Based on SEFT-to-Petri for Safety Analysis of Software |
| title_sort | method based on seft to petri for safety analysis of software |
| url | https://doi.org/10.1051/matecconf/201817903030 |
| work_keys_str_mv | AT saisaixu methodbasedonsefttopetriforsafetyanalysisofsoftware AT jingchen methodbasedonsefttopetriforsafetyanalysisofsoftware AT yuningsun methodbasedonsefttopetriforsafetyanalysisofsoftware AT xinruigao methodbasedonsefttopetriforsafetyanalysisofsoftware AT bohanwang methodbasedonsefttopetriforsafetyanalysisofsoftware AT kunlongwang methodbasedonsefttopetriforsafetyanalysisofsoftware |