News for hackers. Stuff that matters.

A comment on Integer Overflow Bug in Boeing 787 Dreamliner. Parent comment

Re:Integer Overflow Bug in Boeing 787 Dreamliner by cpeterso on Sunday May 03, 2015 @12:29AM (#9479926)
If the industry is unwilling to invest in the training or tooling for a safe language like SPARK Ada, is there research into "easier" safe languages, something between C and Ada? Or do companies like Boeing still expect to be writing new avionics safety in C in 2030 or 2040?
[ Parent | on HN ]
Re:Integer Overflow Bug in Boeing 787 Dreamliner by randomsearch on Sunday May 03, 2015 @08:56AM (#9481100)
Yes, Real-Time Java being an example.

Realistically, it seems to me that avionics etc. will be written in C for a very long time to come. It all comes down to the cost and availability of programmers.

[ Parent | on HN ]