{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 aspects of <b>Crash Flashing</b> 
  as modeled by interacting state machines 
  IMR.SystemUnderTest.CrashFlashing.CtrlCrashFlashing,
IMR.SystemUnderTest.CrashFlashing.SendCrashBits 
	 in the
  <a href="http://www.informatik.uni-bremen.de/agbs/testingbenchmarks/turn_indicator/model_html.1.3/index.html">
turn indicator model</a>.
Occurrence of a crash is modeled by  a 0 -> 1 change of the Boolean input in_CrashEvent.
(In the hardware-in-the-loop test environment this event switches on a simulation of the vehicle's 
crash impact sensor signalling the occurrence of a crash to other automotive controllers that should react 
on crash situations.)

The SUT shall react by 
<ul>
<li>automatically switching on the emergency flashing (observe, for example, the indicator pwmRatio_EFS 
of the emergency flash switch in the  <a href="charts/vis_ud_004.html">signal flow viewer</a>),
<li>set the crash impact bit SystemUnderTest.CrashFlashing.cr_ImpactX which indicates that a crash is
happening,
<li>toggle the signal SystemUnderTest.CrashFlashing.cr_ImpactToggle  in 20ms intervals
 to indicate that the vehicle is still
experiencing the crash impact,
<li>reset crash impact bit and impact toggle after having 
incremented a counter in 20ms intervals (SystemUnderTest.CrashFlashing.SendCrashBits.ctr) from 0 to 50 
(this serves as an estimate that the effect of one impact has been absorbed by the vehicle; if in_CrashEvent 
is still (or again) active this will indicate a new crash impact),
<li>switch off emergency flashing if either an emergency switch is manually activated or 
if the doors are unlocked.
</ul>

The test purpose considered in the present test generation is to check that the proper reactions
on a crash event occur and that the emergency indications can be switched off by means of
the emergency flash switch. The generated test can be visualized in the 
<a href="charts/vis_ud_004.html">signal flow viewer</a>



</p>