Difference between revisions of "Baby Monitor Specification"

From WeizmannWiki
Jump to: navigation, search
(Download the Baby Monitor Example)
(Baby Monitor LSC project)
 
Line 97: Line 97:
 
To work with the baby monitor application, you can create it in your PlayGo workspace:
 
To work with the baby monitor application, you can create it in your PlayGo workspace:
  
#[http://wiki.weizmann.ac.il/harelgroup/Download%20PlayGo Download PlayGo].
+
#[[Download PlayGo|Download PlayGo]].
 
#From the 'File' menu choose New-->Example....-->PlayGo Examples-->Baby Monitor
 
#From the 'File' menu choose New-->Example....-->PlayGo Examples-->Baby Monitor
 
#Click the 'Finish' button.
 
#Click the 'Finish' button.
 
#The baby monitor example project is now part of your workspace. You can start playing with it. For details refer to [[How%20to%20Play-Out | how to play out]] and [[How_to_Play-In|how to play in]].
 
#The baby monitor example project is now part of your workspace. You can start playing with it. For details refer to [[How%20to%20Play-Out | how to play out]] and [[How_to_Play-In|how to play in]].

Latest revision as of 13:41, 20 December 2015


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 TempChange, 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 init 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



 

Baby Monitor Example

Below is a download of the baby monitor final application, as well as instructions for creating the baby monitor example in PlayGo.

Baby Monitor final application (runnable jar)

Runnable Baby Monitor with Swing GUI

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

Baby Monitor LSC project

To work with the baby monitor application, you can create it in your PlayGo workspace:

  1. Download PlayGo.
  2. From the 'File' menu choose New-->Example....-->PlayGo Examples-->Baby Monitor
  3. Click the 'Finish' button.
  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 and how to play in.