Hacker News new | ask | show | jobs
by billfruit 2603 days ago
Yet the industry uses largely the C language, which isn't a model for safety or ease of verification.
2 comments
magduf 2603 days ago
It is, compared to other languages, because it's simple and deterministic. The #1 most important thing with avionics systems and software is determinism. That's why they even disable CPU caches on avionics systems.
link
HeyLaughingBoy 2603 days ago
Well, nobody's perfect ;-)
link