3 ms·
Yet the very same aerospace industry uses almost exclusively, the very unsafe C to write software instead of using something with more safety guarantees.
by publicola1990 5y ago
Yet the very same aerospace industry uses almost exclusively, the very unsafe C to write software instead of using something with more safety guarantees.
- pjmlp 5y agoNot at all, they use C dialects like MISRA-C, Frama-C, ACC3 among others, that are basically Ada with C syntax. Additionally they use coding practices that would make the most hyped TDD advocates from Silicon Valley startups walk away from the projects without looking twice about what they were leaving behind. When code kills, every line of code gets validated.
- publicola1990 5y agoYes but C being C, its hard to write it safely, and harder to ensure that it is safe beyond all doubt.
- pjmlp 5y agoThat is why such standards exist. https://en.m.wikipedia.org/wiki/The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code https://en.m.wikipedia.org/wiki/The_Power_of_10:_Rules_for_D... This is not the kind of C you will find in FOSS or UNIX software.