{title}Tip Flashing{/title} {author}jp{/author} {default}crash_flashing.html{/default} {text}

Left/Right and Emergency Flashing

This test generation is a user-defined test illustrating the Left/Right and Emergency Flashing as modeled by interacting state machines IMR.SystemUnderTest.NormalAndEmerFlashing.LeftRightFlashing, IMR.SystemUnderTest.NormalAndEmerFlashing.EmerFlashing in turn indicator model: if the emergency flash switch is activated, all indicator lamps on the left-hand side and right-hand side of the vehicle are activated. If the ignition is active (as selected for this test) activation of the turn indicator lever overrides active emergency flashing: flashing continues only for the vehicle side defined by the position of the turn indicator lever. If the lever is set back int neutral position, emergency flashing is resumed.