Will there be Model Advisor rules?

Forum for discussing and asking questions about the MISRA document MISRA AC SLSF "Modelling design and style guidelines for the application of Simulink and Stateflow"

Moderators: david ward, GeoffFrost

Post Reply
Matt Cook
Posts: 1
Joined: Thu Nov 08, 2007 1:36 pm
Location: Staffordshire, UK

Will there be Model Advisor rules?

Post by Matt Cook » Wed Oct 21, 2009 2:10 pm

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
Posts: 52
Joined: Mon Dec 06, 2004 12:24 pm

Re: Will there be Model Advisor rules?

Post by MISRA Reply » Wed Oct 21, 2009 3:47 pm

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.

Post Reply

Return to “MISRA AC SLSF discussions”