Boeing Flies on 99% Ada

Re:Boeing Flies on 99% Ada by foobarqux on Sunday August 31, 2014 @11:30PM (#8251402)

Surprisingly you don't even need to use DO-178, you just need to convince the FAA that it is safe. I have never heard of anyone not using DO-178 though.

Have you seen level A software written using C++?

[ Parent | on HN ]

Re:Boeing Flies on 99% Ada by tjr on Monday September 01, 2014 @12:03AM (#8251487)

I have never heard of anyone not using DO-178 though.

Me neither. I can imagine that would be harder than just using DO-178, as the auditors are used to dealing with it.

Have you seen level A software written using C++?

Not personally. I have heard of a level A flight controls project that was planning to use C++, and was in the process of getting their C++ compiler (GCC C++, I believe) certified. I don't know how it turned out.

[ Parent | on HN ]

Re:Boeing Flies on 99% Ada by lutorm on Monday September 01, 2014 @02:18AM (#8251724)

I don't know about level A... but SpaceX uses C++: http://www.reddit.com/comments/1853ap

[ Parent | on HN ]