Difference between revisions of "Baby Monitor Specification"
From WeizmannWiki
(→Baby Monitor LSC project) |
(→Baby Monitor LSC project) |
||
| (3 intermediate revisions by one user not shown) | |||
| Line 83: | Line 83: | ||
<br> <br> <br> | <br> <br> <br> | ||
| − | == | + | == Baby Monitor Example == |
| − | Below | + | 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) === | === Baby Monitor final application (runnable jar) === | ||
| − | [https://weizmann.box.com/s/ | + | [https://weizmann.box.com/s/jwcpix17u06vxmbxl03s Runnable Baby Monitor with Swing GUI] <br> |
To run the baby monitor, simply extract the downloaded zip and double click the jar file. | To run the baby monitor, simply extract the downloaded zip and double click the jar file. | ||
| Line 95: | Line 95: | ||
=== Baby Monitor LSC project === | === Baby Monitor LSC project === | ||
| − | + | To work with the baby monitor application, you can create it in your PlayGo workspace: | |
| − | |||
| − | |||
| − | |||
#[[Download PlayGo|Download PlayGo]]. | #[[Download PlayGo|Download PlayGo]]. | ||
| − | + | #From the 'File' menu choose New-->Example....-->PlayGo Examples-->Baby Monitor | |
| − | + | #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 | + | |
Latest revision as of 11: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.
Contents
Requirements
| LSC Name | Requirement in Natural Language Text | Comments | LSC |
|---|---|---|---|
| Lsc1 | when the user clicks the increase_temperature_button, the temperature_threshold increases | |
 |
| Lsc2 | when the user clicks the decrease_temperature_button, the temperature_threshold decreases |  | |
| Lsc3 | when the user clicks a TempChange, the temperature_display color changes to yellow and the temperature_display displays the temperature_threshold value |  | |
| Lsc4 | when the baby_unit temperature changes, the temperature_display displays the baby_unit temperature and the temperature_display color changes to green |
 | |
| Lsc5 | when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the alert_light state changes to blinking |
 | |
| Lsc6 | when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the mobile_unit beeps |  | |
| 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 |  |
| Lsc8 | when the user clicks the baby_unit_power_button, the baby_unit state changes to on |  | |
| 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 |  | |
| 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 |  |
| 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 |  | |
| Lsc12 | when the baby_unit connects to the mobile_unit, the connection_light color changes to green |  | |
| 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 |  | |
| Lsc14 | when the baby_unit resets, the baby_unit connects to the mobile_unit, the antenna position must be open |  |
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:
- Download PlayGo.
- From the 'File' menu choose New-->Example....-->PlayGo Examples-->Baby Monitor
- 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 to play out and how to play in.
