hackertube.io

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

The Julia Programming Language · talk · Watch on YouTube

Aviation & aerospace engineeringLogic & formal methodsSoftware (other)

What it is

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.

Why Hacker News recommends it

HN points to it as a real-world example of Julia used in safety-critical aerospace design.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2016, last 2024

What HN commenters said

  1. “See these talks on how a collision avoidance system was designed with Julia.”

    How a collision avoidance system was designed in Julia.

    ViralBShah, 2022-06 · Recommendation · in “Why I still recommend Julia”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: julia, acas x, tcas, aerospace, juliacon

Also recommended by the same people