Reply to post: Re: God, the stress involved in writing this stuff...

UK joins growing list of territories to ban Boeing 737 Max flights as firm says patch incoming

Anonymous Coward
Anonymous Coward

Re: God, the stress involved in writing this stuff...

There is more certifiable code written in C than Ada, with C++ on the way up. The challenge is in proving that the executable is correctly implementing the safety requirements, not what language is used for the source code. Software to help with the traceability of requirements to source code to executable code tends to be (there are relatively few examples) written for C first, then C++ and rarely for Ada (I'm told there is some, but I've not seen it).

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon