autosarzs / Dev

Development AUTOSAR
Mozilla Public License 2.0
52 stars 19 forks source link

SWS_Can_00200 is not fully implemented in Can.c #85

Open E-genin opened 2 years ago

E-genin commented 2 years ago

The implemented logic of SWS_Can_00200 :

else if(((Transition == CAN_CS_STARTED) && ( ControllerState[Controller]!=CAN_CS_STOPPED)) || ((Transition == CAN_CS_SLEEP) && (ControllerState[Controller]!= CAN_CS_STOPPED || ControllerState[Controller]!= CAN_CS_SLEEP)))

doesn't seem to check on the UNINIT transition (_CAN_CSSTARTED -> UNINIT is not a valid transition) :

image