Julia for ACAS X: safety-critical collision avoidance
The Julia Programming Language · Talk · 32 min · 2015 · YouTube title: Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
Why it's here
HN points to it as a real-world example of Julia used in safety-critical aerospace design.
What it covers
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.