[SystemSafety] A small taste of what we're up against

[Michael J. Pont]

Phil,

> In my experience software of older vehicles is usually in C. More recently a lot of it is in 
> Simulink or similar model based design (I'll let others comment upon that topic if they like).

Even the Simulink models usually still up as C/C++ (using what used to be Real Time Workshop and is now - I think - called Coder).   As far as I'm aware, there isn't an Ada option ...

Michael.