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

<h2 style="font-size:140%">Left/Right and Emergency Flashing</h2> 

<p>
  This test generation is a user-defined test illustrating the <b>Left/Right and Emergency Flashing</b> 
  as modeled by interacting state machines IMR.SystemUnderTest.NormalAndEmerFlashing.LeftRightFlashing,
  IMR.SystemUnderTest.NormalAndEmerFlashing.EmerFlashing
	 in
  <a href="http://www.informatik.uni-bremen.de/agbs/testingbenchmarks/turn_indicator/model_html.1.3/index.html">
turn indicator model</a>: 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. 
</p>