HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

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

The Julia Programming Language1 HN recommender · recommended in 1 month, 2016-2024
YouTube
4K views · 11 years ago · talk · dated

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.

Aviation & aerospace engineeringLogic & formal methodsSoftware (other)#julia#acasx#tcas#aerospace#juliacon

4 comments from Hacker News

@agucova2024 · in “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]: ▶ this video [5]: link

CitesView on HN
@ViralBShah2022 · in “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 ▶ this video

RecommendsView on HN
@ViralBShah2016 · in “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: ▶ this video

CitesView on HN
@chappi422016 · in “Static, Ahead of Time Compiled Julia”

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

CitesView on HN
JuliaRobotics: Making robots walk with Julia | Robin Deits39:46

JuliaRobotics: Making robots walk with Julia | Robin Deits

The Julia Programming Language
9K views • 8 years ago
Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 201719:12

Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

The Julia Programming Language
7K views • 9 years ago
Julia: to Lisp or not to Lisp?1:04:53

Julia: to Lisp or not to Lisp?

European Lisp Symposium
24K views • 10 years ago
The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 201935:24

The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019

The Julia Programming Language
79K views • 7 years ago
Keynote. Professor Steven G. Johnson | JuliaCon 201952:40

Keynote. Professor Steven G. Johnson | JuliaCon 2019

The Julia Programming Language
18K views • 7 years ago
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram36:58

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference
26K views • 9 years ago
Jonathan Diegelman - Modeling Spacecraft Separation Dynamics in Julia16:04

Jonathan Diegelman - Modeling Spacecraft Separation Dynamics in Julia

The Julia Programming Language
12K views • 5 years ago
APL at Julia's Speed | Shashi Gowda | JuliaCon 20168:34

APL at Julia's Speed | Shashi Gowda | JuliaCon 2016

The Julia Programming Language
3K views • 10 years ago
Leslie Lamport: Thinking Above the Code59:50

Leslie Lamport: Thinking Above the Code

Microsoft Research
403K views • 12 years ago
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)58:37

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

AdaCore
5K views • 6 years ago
Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 20161:00:28

Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 2016

The Julia Programming Language
15K views • 10 years ago
Introduction to Julia - Part 1 | SciPy 2014 | David Sanders1:01:04

Introduction to Julia - Part 1 | SciPy 2014 | David Sanders

Enthought
80K views • 12 years ago
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne30:06

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

Strange Loop Conference
24K views • 9 years ago
"Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
143K views • 11 years ago
Interactive notebooks ~ Pluto.jl | Fons van der Plas | JuliaCon 202023:38

Interactive notebooks ~ Pluto.jl | Fons van der Plas | JuliaCon 2020

The Julia Programming Language
48K views • 6 years ago
"Type-Driven Program Synthesis" by Nadia Polikarpova39:40

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference
15K views • 8 years ago
2017 ACM PPoPP Keynote: It's Time for a New Old Language1:12:12

2017 ACM PPoPP Keynote: It's Time for a New Old Language

Guy Steele
7K views • 9 years ago
APL demonstration 197528:00

APL demonstration 1975

Imperial College London
111K views • 13 years ago
Philip Wadler  - Propositions as Types (Lambda Days 2016)56:58

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions
20K views • 10 years ago
Intentional Programming demo (Part 1) - Editor9:59

Intentional Programming demo (Part 1) - Editor

dftube
14K views • 20 years ago