undefined | Better HN

0 pointsbillfruit6y ago0 comments

Yet the industry uses largely the C language, which isn't a model for safety or ease of verification.

0 comments

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.

HeyLaughingBoy6y ago

Well, nobody's perfect ;-)

j / k navigate · click thread line to collapse

0 pointsbillfruit6y ago0 comments

Yet the industry uses largely the C language, which isn't a model for safety or ease of verification.

0 comments

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

HeyLaughingBoy6y ago

Well, nobody's perfect ;-)

j / k navigate · click thread line to collapse