Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language · 1 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.
Why HN recommends it: HN points to it as a real-world example of Julia used in safety-critical aerospace design.
“See these talks on how a collision avoidance system was designed with Julia.” Read on HN ↗