EFVS Formal Modeling and Analysis Based on Fault Coupling Model

WU Xiaohui

doi:10.3969/j.issn.1671-637x.2022.01.022

[1] ETHERINGTON T J,KRAMER L J,SEVERANCE K,et al.Enhanced flight vision systems operational feasibility study using radar and infrared sensors［C］//IEEE/AIAA 34th Digital Avionics Systems Conference(DASC).Prague: IEEE,2015:3C1-1-3C1-15.

[2] KRAMER L J,HARRISON S J,BAILEY R E,et al.Visual advantage of enhanced flight vision system during NextGen flight test evaluation［C］//SPIE Defense+Security.Amsterdam:SPIE,2014.doi:10.1117/12.2045087.

[3] KRAMER L J,BAILEY R E,ELLIS K K E,et al.Enhanced flight vision systems and synthetic vision systems for NextGen approach and landing operations［R］.NASA/TP-2013-218054,Hampton:National Aeronautics and Space Administration,2013.

[5] BOZZANO M,CIMATTI A,LISAGOR O,et al.Safety assessment of AltaRica models via symbolic model checking［J］.Science of Computer Programming,2015,98(4):464-483.

[7] DELANGE J,FEILER P.Architecture fault modeling with the AADL error-model annex［C］//The 40th EUROMICRO Conference on Software Engineering and Advanced Applications.Verona:IEEE,2014:361-368.

[9] ARCAINI P,GARGANTINI A,RICCOBENE E.NuSeen:a tool framework for the NuSMV model checker［C］//IEEE International Conference on Software Testing,Verification and Validation (ICST).Tokyo:IEEE,2017:476-483.

[10] KATO T.Perturbation theory for linear operators［M］.New York:Springer Science & Business Media,2013.

[11] SUN R,ZHONG D M,LI W G.Formal system interactive failure analysis method based on systems theoretic process analysis model［J］.Engineering Failure Analysis,2019,106:104141.