News for hackers. Stuff that matters.

A comment on Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System. Parent comment

Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by pjmlp on Wednesday September 16, 2020 @07:23AM (#24491521)
The session that they did together with AdaCore presenting which languages they went through and why they picked Ada in the end.

Rust syntax was one of the factors that played against it.

"Securing the Future of Safety and Security of Embedded Software"

https://www.adacore.com/webinars/securing-future-of-embedded...

Page 35,

https://www.slideshare.net/AdaCore/securing-the-future-of-sa...

[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by jimktrains2 on Wednesday September 16, 2020 @09:16AM (#24492392)
Where does it say syntax is against rust. It seems like no commercial vendor meaning no plans for certification combined with no spark equivalent we're the reasons.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by pjmlp on Wednesday September 16, 2020 @09:38AM (#24492580)
Watch the video, slides are just one part.

Part of "Determine the difficulty and learning curve for others".

[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by termie on Wednesday September 16, 2020 @09:57AM (#24492744)
Rust is also discussed at 35:00 into the presentation, noting the lack of a spec, higher memory util, and no commmercial vendor.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by fluffything on Wednesday September 16, 2020 @10:00AM (#24492763)
Yeah, Rust is not certified, and probably can't be certified without a spec.
[ Parent | on HN ]
Re:Airbus Chooses GNAT Pro Ada for Development of Unmanned A... by ifmpx on Wednesday September 16, 2020 @10:11PM (#24500446)
> and no commmercial vendor.

So it's about liability. Makes sense.

[ Parent | on HN ]