Skip to content
0:00 / 0:00

#julia#acasx#avionics

Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System

The Julia Programming Language

91K subscribers • 17 videos on Hallway

YouTube

Intermediate. Assumes working knowledge.

4K views11 years ago1 recommendation

Programming languagesSystems programmingLanguage design and type systemsAlgorithms

Robert Moss explains how the Julia programming language was used as a specification language for ACAS X, the next-generation airborne collision avoidance system.

Julia as a Specification Language for the next-generation Airborne Collision Avoidance System. Slides: juliacon.org/2015/images/juliacon2015_moss_v3.pdf en.wikipedia.org/wiki/Airborne_collision_avoidance_system Visit julialang.org/ to download Julia. Time Stamps: Welcome! Help us add time stamps or captions to this video! See the description for details. Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: github.com/JuliaCommunity/YouTubeVideoTimestamps Interested in improving the auto generated captions? Get involved here: github.com/JuliaCommunity/YouTubeVideoSubtitles

Why it's here

1 person recommends this

What people say. Recommended as a case study of using Julia for safety-critical avionics systems.

ViralBShahon Hacker News • Recommends

On “Why I still recommend Julia”

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 link to this video

chappi42on Hacker News • Mentions

On “Static, Ahead of Time Compiled Julia”

In case you are interested, here are slides ( link ) and a presentation ( link to this video ) about TCAS (and its successor, ACAS X)

ViralBShahon Hacker News • Mentions

On “An Introduction to Machine Learning in Julia”

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: link to this video

agucovaon Hacker News • Mentions

On “Calculus with Julia”

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: link to this video 5: link