System description

Consider a simple alarm system used on a door, window, box, etc., to detect unauthorized access. The system includes a motion detector connected to a control panel.

The motion detector sends a trip signal to the control panel when motion is detected. The control panel includes number entry buttons, a Set button and a Clear button. The panel is connected to a siren which emits a high-pitched alarm tone.

The security alarm is activated by pressing the Set button. A light on the Set button then lights up, and the security alarm becomes activated after a 30-second delay.

The Set button light remains on as long as the alarm is activated.

A three-digit code must be entered to deactivate the system. This deactivation code is

pre-programmed for each unit and cannot be changed. The user must enter the digits of the S. Some

code in the correct order. A high-pitched tone (alarm) sounds if a mistake is made when entering the code (when a wrong number is entered). The user must then press the Clear button before attempting to re-enter the code. The tone only stops when the deactivation code is entered correctly.

A high-pitched (alarm) tone sounds when a trip signal occurs while the device is on. The deactivation code must then be entered to deactivate the alarm and stop the tone.

Tasks

Develop an SDL specification of the alarm system using PragmaDev Studio.

Create three scenarios:

1. scenario illustrating the activation of the system then its deactivation without incident,

2. Scenario illustrating activating the system, deactivating it with a code entry error, then entering the correct code,

3. Scenario illustrating the activation of the system, the occurrence of a trigger signal and then the entry of the deactivation code.

Create the system structure.

Create the system behavior specification.

Validate the system by simulation.

You may make reasonable assumptions for any aspect of the description for which you deem them necessary. However, you will need to report all your assumptions in your report.