Probabilistic model checking of the next-generation airborne collision avoidance system
ieee aiaa digital avionics systems conference, pp. 1-10, 2016.
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
Full Text (Upload PDF)
PPT (Upload PPT)