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

[Roderick Chapman]

On 25/10/2018 16:10, Michael J. Pont wrote:

> 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 ...
There is... AdaCore's QGen generates (MISRA) C or (SPARK) Ada, based on 
a formalization of a subset of the MATLAB/Simulink blocks.

In addition to the MathWorks product, there's also dSpace's TargetLink 
of course.

Any others?
  -Rod