1 article
Analyze the shift from reactive TCAS to probabilistic ACAS Xu collision avoidance, and explore DO-178C certification challenges of non-deterministic systems.