Generate Qualifiable and Tunable Code Using Model-Based Tools

Adacore’s QGen generates qualifiable and tuneable MISRA C or SPARK code based on Mathworks Simulink and Stateflow models.

read more

from Electronic Design http://ift.tt/2dW0Rl6