Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language1 HN recommenders · 2016–2024
4K views · talk · dated · Uploaded 2015-08-15
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.
HN points to it as a real-world example of Julia used in safety-critical aerospace design.
10:13The Problem with Time & Timezones - Computerphile
Computerphile
25:33Children Of The Magenta Line
Mossie Fly
1:07:10Brian Beckman: Don't fear the Monad
jasonofthel33t
59:2328c3: The Science of Insecurity
28c3
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
11:38The Economics of Airline Class
Wendover Productions
34:00Math's Fundamental Flaw
Veritasium
24:14The Banach–Tarski Paradox
Vsauce
4 comments from Hacker News
In case you are interested, here are slides ( [LINK] ) and a presentation ( [VIDEO] ) about TCAS (and its successor, ACAS X)
While many of Julia Computing's customers already use Julia in production, JuliaCon has had many talks as well. Here are a few: A Big Data application: [LINK] A finance application: [LINK] An avionics application: [VIDEO]
A detailed discussion is on Julia discourse: [LINK] Bugs are everywhere - including Python and R libraries. You would not design a safety critical system in Python using libraries and codepaths that are not heavily tested. Even then, you still have to carefully design testsuites that give you confidence that what you are computing is what is expected. See these talks on how a collision avoidance system was designed with Julia. [LINK] [VIDEO]
This is true, but even engineers see the advantages of Julia. My engineering school has went from almost pure Matlab usage to many key engineering courses switching to Julia due to its simplicity and friendliness. It's also SOTA for many engineering applications, particularly for acausal modelling and scientific machine learning (see [LINK] ), which has led to big companies like Pfizer adopting it [1]. And for engineers writing novel libraries, it clearly has a strong edge. See for example the work by NASA's JPL [2, 3], the FAA [4] or the CliMa project [5]. [1]: [LINK] (see also [LINK] ) [2]: [LINK] [3]: [LINK] [4]: [VIDEO] [5]: [LINK]