MISRA Discussion Forums
meaning of 045G MISRA AC SLSF - Printable Version

+- MISRA Discussion Forums (https://forum.misra.org.uk)
+-- Forum: MISRA Autocode (https://forum.misra.org.uk/forumdisplay.php?fid=8)
+--- Forum: MISRA AC SLSF discussions (https://forum.misra.org.uk/forumdisplay.php?fid=152)
+--- Thread: meaning of 045G MISRA AC SLSF (/showthread.php?tid=896)



meaning of 045G MISRA AC SLSF - stefania.botta - 08-05-2012

Hi,

I write you, because I can not understand the meaning of 045G MISRA AC SLSF. The doubt is this: the rule want there are no variables written when transitioning between any states, in any case (I think it is very strong as assertion). Or the rule is specific when you are using condition-action and transition-action (deviation from 043A MISRA AC SLSF) when transitioning between any states. Or is there another meaning for understanding this rule?
Could you give me more details about this rule?

Kind regards,
Stefania Botta.


Re: meaning of 045G MISRA AC SLSF - MISRA Reply - 09-05-2012

MISRA AC SLSF 043A prohibits the use of condition-actions and transition-actions in the same statechart/machine. If a deviation is in place against this Rule then 045G comes into play. 045G then prohibits the writing to a variable, the same variable, in a condition-action and a transition-action implemented on the same transition path.

We will aim to make this guideline clearer in any future edition of MISRA AC SLSF.