> 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/u

> 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 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.