Will there be Model Advisor rules?

[Matt Cook]

I am aware that Simulink already has Model Advisor rules for checking against the MAAB guidelines ... as well as MISRA-C, IEC 61508 and DO-178B.

Does anyone know if The Mathworks plan to introduce similar rule checking for this guideline document? (or others)
... and if so, would they be linked to any particular tool license?

Would there be any plan for MISRA to be involved in their formulation? ... or any kind of formal or informal 'approval' process of them?

[MISRA Reply]

To answer your three questions:

1. It is always recommended to ask a tool vendor to explain what they mean when they claim a tool checks for a certain ruleset or standard and what their claimed coverage of the rules or standards are. A tool vendor should be able to produce a compliance matrix listing which checks against the requirements of a ruleset or standard their tool implements.

2. Regarding whether a particular vendor is planning support, such a question is best addressed directly to the vendor. MISRA is are aware of tools which already have support for rules from the MISRA AC family of documents, and other tool support may be planned, but MISRA does not give recommendations for or against particular tools.

3. MISRA has a strict policy of not endorsing products from tool vendors. Tool vendors can apply to MISRA for a licence to quote MISRA rules in their tools, but MISRA does not have a process for approving or vetting the quality of the actual implementation in the tool.