We decided to adhere to all the rules within MISRA and the QA.C tool made this extremely easy to achieve. It has also meant that the bugs are identified and removed earlier in the life-cycle which has reduced the amount of testing and reworking we have had to do.

Lee Jaques, Senior Software Engineer
Marshall Aerospace