1. Modification of the AV System Example

1. Experiment with the example of the AV System using the various features of visualSTATE (e.g. simulator, verificator, documents builder, ...).
2. Add error-handling in case an unreadable CD is introduced into the reader. The only way out of the ``Error State'' should be to eject the CD.

2. Duplo-Train

Model and analyse variants of the Duplo-Train example from [SALLT+] using visualSTATE. You may find possible variants in the (danish) note.

3. Smart Light Switch

The goal of this exercice is to model the behaviour of a smart light switch (similar to the one we have in the meeting room E4-104). The light has 6 level of brightness (from ``0''=``switched'' off up to ``5''=``max brightness''), and there is only one button to control it. The behaviour of this smart switch can be expressed like this:

• If the light was ``on'', then a single ``push and release'' on the button, will switch ``off'' the light,
• If the light was ``off'', then a single ``push and release'' on the button, will switch ``on'' the light at the previous brightness level,
• One ``push and hold'' on the button makes the level of brightness increase (resp. decrease) if it was decreasing (resp. increasing) previously,
• Once the maximum (resp. minimum) level of brightness is reached the brightness level decrease (resp. increase).

Questions:

1. Create a hierachical model of this smart switch.
2. Make some simulations.
3. Add the following feature to your model: In case of ``double push and release'' the brightness go up to the maximum.

4. Car Compartment Light

The purpose of this exercise is to model the behaviour of a car compartment car. This light can be switched ``on'' or ``off''. This light is sensitive to the following events ``opening/closing of a door'', the ``select mode'' button. The behaviour is the following:

• The car compartment light will be turned ``on'' when one or more of the doors are opened,
• The ``select mode'' button allows to enter three different modes which are:
  • ``Off'': When the doors are opened, the light will not be turned on.
  • ``Door sensitive'': Normal mode.
  • ``On'': Whatever do the doors, the light is still on.
• When the door is locked, the light should go ``off''.

Questions:

1. Create a hierachical model of this smart switch.
2. Make some simulations.
3. Combine the behaviour of the ``smart light switch'' and this car compartment light.