Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA
The reconfiguration technology, which is the significant feature of the newly designed Integrated Modular Avionics (IMA) system, enables the transfer of avionics functions from the failed module to the residual normal module, thereby enhancing the robustness of the whole system. The basic target of...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2021-01-01
|
| Series: | International Journal of Aerospace Engineering |
| Online Access: | http://dx.doi.org/10.1155/2021/8875872 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832563275646107648 |
|---|---|
| author | Changxiao Zhao Lei Dong Hao Li Peng Wang |
| author_facet | Changxiao Zhao Lei Dong Hao Li Peng Wang |
| author_sort | Changxiao Zhao |
| collection | DOAJ |
| description | The reconfiguration technology, which is the significant feature of the newly designed Integrated Modular Avionics (IMA) system, enables the transfer of avionics functions from the failed module to the residual normal module, thereby enhancing the robustness of the whole system. The basic target of the IMA reconfiguration is to ensure the safe flight and correct execution of the mission. To solve the problem of lack of effective management mechanism for the IMA system development and safety assessment, a safety analysis method based on STAMP/STPA and UPPAAL for IMA reconfiguration is proposed. The method focuses mainly on system characteristics and multiparty interactions. On the basis of this approach, some studies and analyses have been carried out. Firstly, the STAMP/STPA principle is studied and used to identify unsafe control actions in the reconfiguration process. Secondly, a formal model of IMA reconfiguration is developed using UPPAAL. Finally, the accessibility analysis of the formal model is used to analyze UCAs and the corresponding loss scenarios. The method enables a detailed description of the interactions between the components and a rigorous mathematical analysis of the system, thereby diluting the effect of human factors while ensuring the accuracy and reliability of the safety constraints. |
| format | Article |
| id | doaj-art-258395a223024eec9fc702e292520446 |
| institution | Kabale University |
| issn | 1687-5966 1687-5974 |
| language | English |
| publishDate | 2021-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Aerospace Engineering |
| spelling | doaj-art-258395a223024eec9fc702e2925204462025-02-03T01:20:32ZengWileyInternational Journal of Aerospace Engineering1687-59661687-59742021-01-01202110.1155/2021/88758728875872Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPAChangxiao Zhao0Lei Dong1Hao Li2Peng Wang3College of Airworthiness, Civil Aviation University of China, Tianjin 300300, ChinaCollege of Airworthiness, Civil Aviation University of China, Tianjin 300300, ChinaAVICAS Generic Technology CO.LTD, Yangzhou 225000, ChinaKey Laboratory of Civil Aircraft Airworthiness Technology, CAAC, Tianjin 300300, ChinaThe reconfiguration technology, which is the significant feature of the newly designed Integrated Modular Avionics (IMA) system, enables the transfer of avionics functions from the failed module to the residual normal module, thereby enhancing the robustness of the whole system. The basic target of the IMA reconfiguration is to ensure the safe flight and correct execution of the mission. To solve the problem of lack of effective management mechanism for the IMA system development and safety assessment, a safety analysis method based on STAMP/STPA and UPPAAL for IMA reconfiguration is proposed. The method focuses mainly on system characteristics and multiparty interactions. On the basis of this approach, some studies and analyses have been carried out. Firstly, the STAMP/STPA principle is studied and used to identify unsafe control actions in the reconfiguration process. Secondly, a formal model of IMA reconfiguration is developed using UPPAAL. Finally, the accessibility analysis of the formal model is used to analyze UCAs and the corresponding loss scenarios. The method enables a detailed description of the interactions between the components and a rigorous mathematical analysis of the system, thereby diluting the effect of human factors while ensuring the accuracy and reliability of the safety constraints.http://dx.doi.org/10.1155/2021/8875872 |
| spellingShingle | Changxiao Zhao Lei Dong Hao Li Peng Wang Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA International Journal of Aerospace Engineering |
| title | Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA |
| title_full | Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA |
| title_fullStr | Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA |
| title_full_unstemmed | Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA |
| title_short | Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA |
| title_sort | safety assessment of the reconfigurable integrated modular avionics based on stpa |
| url | http://dx.doi.org/10.1155/2021/8875872 |
| work_keys_str_mv | AT changxiaozhao safetyassessmentofthereconfigurableintegratedmodularavionicsbasedonstpa AT leidong safetyassessmentofthereconfigurableintegratedmodularavionicsbasedonstpa AT haoli safetyassessmentofthereconfigurableintegratedmodularavionicsbasedonstpa AT pengwang safetyassessmentofthereconfigurableintegratedmodularavionicsbasedonstpa |