Probabilistic model checking of the next-generation airborne collision avoidance system

Daniel Genin
Daniel Genin
Raymond McDowell
Raymond McDowell
Christopher Rouff
Christopher Rouff

ieee aiaa digital avionics systems conference, pp. 1-10, 2016.

Cited by: 0|Bibtex|Views9|

Abstract:

We present a probabilistic model checking approach for evaluating the safety and operational suitability of the Airborne Collision Avoidance System X (ACAS X). This system issues advisories to pilots when the risk of mid-air collision is imminent, and is expected to be equipped on all large, piloted aircraft in the future. We developed an...More

Code:

Data:

Your rating :
0

 

Tags
Comments