News for hackers. Stuff that matters.

A comment on Ask HN: When Ada/SPARK, then why Rust?.

Re:Ask HN: When Ada/SPARK, then why Rust? by belter on Sunday September 10, 2023 @05:00AM (#37454137)
Given that the recent downtime of the U.K. air traffic control system, implemented in ADA Spark by the way ... was triggered by a straightforward flight plan with two duplicate exit points...Maybe the competence of individuals, teams, and quality control measures has a more pronounced influence.

Also...GNAT Pro for Rust: https://www.adacore.com/press/adacore-announces-gnat-pro-for...?

[ Parent | on HN ]
Re:Ask HN: When Ada/SPARK, then why Rust? by Rochus on Sunday September 10, 2023 @05:10AM (#37454179)
> implemented in ADA Spark by the way

The corresponding subsystem by Frequentis AG is implemented in Java. And apparently halting the system in case of wrong/unexpected flightplan data was a "feature"; according to the investigation report this has been changed now (see https://news.ycombinator.com/item?id=37401864). Even with Rust there is still the problem of misconceptions in analysis or specifications, or of wrong design decisions.

[ Parent | on HN ]