+- 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: switch (/showthread.php?tid=695)
switch - ggentile - 08-12-2009
It seems to me that any restriction are applied to switch block.
Is admited to switch between differnt type of signal:
float/boolena
int/bool
int/float
Instead GMG rules suggest the user to use types properly.
Giacomo
Re: switch - MISRA Reply - 11-01-2010
Thank you for your post. MISRA AC GMG and MISRA AC SLSF represent a suite of guidelines for applicaton when considering modelling for an autocode generator based on the Simulink/Stateflow modelling language. MISRA AC GMG is higher in the hierarchy, as shown in MISRA AC INT, and as such should be applied in addition to MISRA AC SLSF. As you note, the issue you raise is covered by MISRA AC GMG but is neither expanded upon nor clarified in MISRA AC SLSF with respect to the modelling language in that case. Your concern has been taken on board for consideration in a future update of the MISRA AC SLSF document.