09-05-2012, 08:20 AM
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.
We will aim to make this guideline clearer in any future edition of MISRA AC SLSF.
<t></t>