Airbus seems to use ADA mainly for drone software. Everything else is MISRA C, o... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

marsRoverDev on Sept 16, 2020 | parent | context | favorite | on: Airbus Chooses GNAT Pro Ada for Development of Unm...

Airbus seems to use ADA mainly for drone software. Everything else is MISRA C, or MISRA C with a layer of abstraction overlaid that allows for generation of assembly from the same codebase as well.

Nokinside on Sept 16, 2020 [–]

The language used is less important than the development process as a whole, including static analysis tool used to verify the code.

I believe Airbus uses Astree (abstract interpretation static analysis) verified MISRA C. It's really good tool. https://www.absint.com/astree/index.htm

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact