Continuous Safety Integrity Analysis for Avionics System with Dempster-Shafer Theory

Chao Zhang,Xiaomu Shi
DOI: https://doi.org/10.1109/dasc.2014.6979668
2014-01-01
Abstract:• Safety case is used for the safety demonstration of integrated system • DST is used to give numerical safety assessment to the safety-related system by give measurement of safety effect, and combining the measurement • Based on timed Petri-net, dynamic analysis is applied • As a result, a continuous function will be used to give the safety assessment to safety-related avionic system over time
What problem does this paper attempt to address?