wrong use of type float

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
ggentile
Posts: 16
Joined: Wed Nov 25, 2009 8:04 pm
Company: UTC UTRC

wrong use of type float

Post by ggentile » Tue Dec 08, 2009 8:19 pm

I didn't found any explicit rule that prohibit a misleading use of float

1) float as vector index into stateflow/simulink
2) logical operation between float in stateflow and simulink

General Modelling rules cover this topic but SLSF seems to me not!

May you confirm that I've properly read the standard ?

Giacomo

Our concern is also related to unoptimized code that should be produce by these bad modelling style

MISRA Reply
Posts: 52
Joined: Mon Dec 06, 2004 12:24 pm

Re: wrong use of type float

Post by MISRA Reply » Mon Jan 11, 2010 11:44 am

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.

Post Reply

Return to “MISRA AC SLSF discussions”