Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language1 HN recommender · recommended in 1 month, 2016–2024
talk · advanced · 2016–2024 on HN
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.
Up next
3 mo on HNIntroduction to Julia - Part 1 | SciPy 2014 | David Sanders
Enthought
3 HN recommender · 2014–2015
2 mo on HNKeynote. Professor Steven G. Johnson | JuliaCon 2019
The Julia Programming Language
2 HN recommender · 2019–2022
6 mo on HNZipline - How Rwanda Built A Drone Delivery Service
Real Engineering
9 HN recommender · 2019–2023
11 mo on HNChildren Of The Magenta Line
Mossie Fly
11 HN recommender · 2021–2026
6 mo on HNThe Economics of Airline Class
Wendover Productions
6 HN recommender · 2017–2025
6 mo on HNDavid Fravor: UFOs, Aliens, Fighter Jets, and Aerospace Engineering | Lex Fridman Podcast #122
Lex Fridman
8 HN recommender · 2020–2022
6 mo on HNThe Fastest Way to Board a Plane Feels Like the Slowest
CGP Grey
9 HN recommender · 2020–2023
5 mo on HNPulling Power from the Sky: The Story of Makani [Feature Film]
X, The Moonshot Factory
6 HN recommender · 2020–2025
5 mo on HNJoe Rogan Experience #1361 - Cmdr. David Fravor & Jeremy Corbell
PowerfulJRE
5 HN recommender · 2019–2023
5 mo on HNBig Plane vs Little Plane (The Economics of Long-Haul Flights)
Wendover Productions
8 HN recommender · 2017–2023
5 mo on HNWhy You Should Put YOUR MASK On First (My Brain Without Oxygen) - Smarter Every Day 157
SmarterEveryDay
5 HN recommender · 2016–2025
5 mo on HNThe Boeing 787: Broken Dreams l Al Jazeera Investigations
Al Jazeera English
6 HN recommender · 2017–2024
4 comments from Hacker News
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 ▶ this 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]: ▶ this video [5]: link
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: ▶ this video
In case you are interested, here are slides ( link ) and a presentation ( ▶ this video ) about TCAS (and its successor, ACAS X)