Baby Monitor Specification

Baby Monitor Specification

The list below is the Baby Monitor system's requirements in controlled English. These are valid requirements that can be used for NL play-in.

Requirements

LSC Name	Requirement in Natural Language Text	Comments	LSC
Lsc1	when the user clicks the increase_temperature_button, the temperature_threshold increases		LSC
Lsc2	when the user clicks the decrease_temperature_button, the temperature_threshold decreases		LSC
Lsc3	when the user clicks a change_temperature_button, the temperature_display color changes to yellow and the temperature_display displays the temperature_threshold value		LSC
Lsc4	when the baby_unit temperature changes, the temperature_display displays the baby_unit temperature and the temperature_display color changes to green		LSC
Lsc5	when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the alert_light state changes to blinking		LSC
Lsc6	when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the mobile_unit beeps		LSC
Lsc7	when the alert_light state changes to blinking, as long as the mobile_unit state is on and the user does not click the reset_alert_button, the alert_light state changes to on and one second elapses and the alert_light state changes to off and two seconds elapse	This requirement is not parsed in the current version of the NL play-in	LSC
Lsc8	when the user clicks the baby_unit_power_button, the baby_unit state changes to on		LSC
Lsc9	when the user clicks the mobile_unit_power_button, if the mobile_unit state is off, the mobile_unit state changes to on, otherwise if the mobile_unit state is on, the mobile_unit state changes to off		LSC
Lsc10	when the mobile_unit state changes to on, as long as the mobile_unit state is on, if two seconds have elapsed and the baby_unit does not connect to the mobile_unit, the connection_light color changes to red	This requirement is not parsed in the current version of the natural language play-in	LSC
Lsc11	when the baby_unit state changes to on, as long as the mobile_unit state is on, the baby_unit connects to the mobile_unit and two seconds elapse		LSC
Lsc12	when the baby_unit connects to the mobile_unit, the connection_light color changes to green		LSC
Lsc13	when the user clicks the reset_button, the baby_unit resets and the antenna position changes to close and the antenna inits and the antenna position changes to open		LSC
Lsc14	when the baby_unit resets, the baby_unit connects to the mobile_unit, the antenna position must be open		LSC

 

Download the Baby Monitor Example

Below are downloads of the wrist watch final application, as well as of the LSC project that can be opened and modified in PlayGo.

Baby Monitor final application (runnable jar)

Runnable Baby Monitor with Swing GUI
Runnable Baby Monitor with the auto generated System Model GUI

To run the baby monitor, simply extract the downloaded zip and double click the jar file.

Baby Monitor LSC project

The Baby Monitor LSC Project (for development purposes)

Installation Instructions

1. Extract the downloaded zip.
2. Download PlayGo.
3. Import the downloaded project to your workspace:
   1. From the File menu choose Import-->General-->Existing Projects into Workspace.
   2. Click the 'Next' button.
   3. When prompted, select the directory to which you extracted the downloaded baby monitor example.
   4. Click finish.
4. The baby monitor example project is now part of your workspace. You can start playing with it. For details refer to how to play out.