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

<h2 style="font-size:140%">Crash Flashing</h2> 

<p>
  This test generation focuses on the model components involved in crash
  flashing. When the crash occurs (activated by <code>in_CrashEvent = 1</code>)
  the 1-0-alternation of the <code>cr_ImpactToggle</code> (50 cycles, see
  <code>SystemUnderTest.CrashFlashing.SendCrashBits.SendCrashBits</code>) is
  observed, and crash flashing is automatically activated. In parallel the 3
  possibilities to de-activate crash flashing are exercised (see
  <code>SystemUnderTest.CrashFlashing.CtrlCrashFlashing.CtrlCrashFlashing
  </code>): de-activation by emergency flash switches <code>in_EmSwitch</code>,
  <code>in_EmSwitchSPV</code>, and by the remote control of the door locking
  system (<code>in_CentralLockingRM</code>). The generated test covers all
  transitions of the leaf components underneath
  <code>SystemUnderTest.CrashFlashing</code>. Additionally, the crash-related
  transitions of <code>SystemUnderTest.PriorityHandling.PriorityHandling</code>
  and <code>SystemUnderTest.NormalAndEmerFlashing.HandleCrashOverride</code> are
  covered.
</p>

<!--
<p>
  We illustrate the behavior of the generated test by means of an example
  generation. Observe that this is not the same generation as in the current or
  future benchmark runs documented on the previous page. It serves, however, to
  illustrate the basic characteristics of crash flashing tests. The following
  file shows the detailed signal flow of inputs to the SUT and expected outputs,
  internal model variables and control states, as calculated by the RT-Tester
  simulation component executing the model with the test data generated by the
  SMT solver.
</p>
<p>
  <a href="test_generation/state_machine_transition_coverage/data_001.txt">Signal flow of Test 001</a>
</p>

<p>
  To illustrate the generation result, the following figures show the signal
  flow over time for inputs to the SUT, outputs, and some internal model
  variables and control states:
</p>

<h3 style="font-size:120%">Input signals, model variables and control states
</h3>
<a href="crash1.jpg" class="media" title="Input signals, model variables and control states"><img src="crash1.jpg?w=250" class="media" title="Input signals, model variables and control states" alt="Input signals, model variables and control states" width="250"/></a>

<h3 style="font-size:120%">Crash impact toggle and counter changes over time
</h3>
<a href="crash2.jpg" class="media" title="Crash impact toggle and counter changes over time"><img src="crash2.jpg?w=250" class="media" title="Crash impact toggle and counter changes over time" alt="Crash impact toggle and counter changes over time" width="250"/></a>

</body>
-->