MISRA AL SLSF - Rule 043I

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
Ale_mm
Posts: 4
Joined: Wed May 04, 2011 6:18 am
Company: Magneti Marelli S.p.A.
Location: Milano - Italy

MISRA AL SLSF - Rule 043I

Post by Ale_mm » Mon Jun 27, 2011 8:38 am

Hello,

I've a doubt regarding the rule 043I of SLSF set. The rule tells: "In all flow-charts and graphical functions, exactly one unconditional transition must begin at every junction (except for the last junction). Every decision point (junction) must have a default path."
The problem is about the bounds of this rules, because it'd delimited only for flow-charts. Since a flowchart contains none or one state, the rule is not applied in case that I have a junction, without a default path, between two state.
Therefore my question is, why this rule (and as far as I know, no others) does not check default paths in junctions between states? Or else, why this rule is only flowcharts circumscribed and not statecharts as well?


Many thanks in advance,
any feedback will be really appreciated,

Alessandro

Post Reply

Return to “MISRA AC SLSF discussions”