Page 1 of 1

Meaning of MISRA AC SLSF 045B (par. 3.6.11)

Posted: Fri Aug 29, 2014 4:08 pm
by neffnan
I can't make sense of the wording of 045B. I think there may be a copy-&-paste problem--the English seems garbled--but I'm not sure enough of my understanding of Stateflow yet to figure out what the 'correct' and 'incorrect' examples are meant to convey, so I'm not comfortable assuming how the rule should read. Could someone perhaps explain this rule for me or tell me how the rule should read? Thanks.

Re: Meaning of MISRA AC SLSF 045B (par. 3.6.11)

Posted: Tue Sep 02, 2014 1:14 pm
by MISRA Reply
You are correct that the text for this rule appears garbled in this version. The MISRA AC working group agrees that this should read "In all state-charts, any variable written on a state's exit actions must not be written on transitions..."

The MISRA AC SLSF guidelines are currently under review and the wording of this rule will be reworked for the next revision.