19-08-2010, 08:15 AM
Hello.
I am implementing an automated MISRA checker (MINT) and need some details regarding this rule.
Second part of rule 2.1 says "Furthermore, the signal name should be unique and not conflict with any other signal in the TargetLink model".
I am able to check this (only non-propagated labels included), however: what about library blocks? If a library block with at least one labelled line is used multiple times, then we have multiple signal lines labelled by the same label within the model.
I have also question: what is "TargetLink" model? Is it a Simulink model containing at least one TargetLink subsystem? Or is it the contents of TargetLink subsystem(s), no matter what is outside?
I would highly appreciate any comments.
Best regards,
Josef
I am implementing an automated MISRA checker (MINT) and need some details regarding this rule.
Second part of rule 2.1 says "Furthermore, the signal name should be unique and not conflict with any other signal in the TargetLink model".
I am able to check this (only non-propagated labels included), however: what about library blocks? If a library block with at least one labelled line is used multiple times, then we have multiple signal lines labelled by the same label within the model.
I have also question: what is "TargetLink" model? Is it a Simulink model containing at least one TargetLink subsystem? Or is it the contents of TargetLink subsystem(s), no matter what is outside?
I would highly appreciate any comments.
Best regards,
Josef
<t></t>