Title :
Continuous safety integrity analysis for avionics system with dempster-shafer theory
Author :
Zhang, Chao ; Shi, Xiaomu
Author_Institution :
Labs of Avionics, School of Aerospace Engineering, Tsinghua University, Beijing, 100084, P. R. China
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
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO, USA
Print_ISBN :
978-1-4799-5002-7
DOI :
10.1109/DASC.2014.6979668
