Verifying the Safety of Aviation Software Based on Extended Colored Petri Net

Hang Zhou, Canheng Zhang, Yue Li, Yang Gu and Shikang Zhou

Mathematical Problems in Engineering, 2019, vol. 2019, 1-15

Abstract:

At present, various functions of aircraft have become more and more dependent on airborne software system, and the structure of modern airborne software is extremely complex. Engineers need to eliminate the situation in which the safety performance of the entirety reduces caused by mutual influence among components. This paper presents a comprehensive method with high efficiency for safety verification of airborne software system, in order to ensure the system meet safety requirement of airworthiness standard at the design stage. Safety Verification Colored Petri Net (SVCPN) for software safety verification is firstly proposed, and then the mapping transformation rules from Block Definition Diagram (BDD) of System Modeling Language (SysML) to SVCPN are proposed to achieve the accurately formal description of software system. Traversing all delivery paths of safety level transfer based on the Reachable Tree Diagram, to detect the components that do not meet the safety requirement of airworthiness standard. Based on the disambiguation algorithm, the fundamental components that cause safety problem are found out through the establishment of antinet to achieve the safety level reassign, ensuring the safety performance of the whole system. Finally, the case study and the comparison and analysis are applied to show the feasibility and superiority of our method.

Date: 2019
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/MPE/2019/9185910.pdf (application/pdf)
http://downloads.hindawi.com/journals/MPE/2019/9185910.xml (text/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jnlmpe:9185910

DOI: 10.1155/2019/9185910

Access Statistics for this article

More articles in Mathematical Problems in Engineering from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().