|
||||||
This exercise is based on the nuclear reactor scenario on the web at: www.hcibook.com/e3/scenario/nuclear/. You will need to refer to this while completing the exercise. The exercise is in four parts, but you will probably find it easier to work on them in parallel. As you try to define actions you will find state elements you have missed and as you work through the scenarios you will probably find problems that you need to go back and change in the state and actions. (a) Complete the following partial description of the state of the nuclear control panel. ________________________________________________________________ | Alarm_State: {Green, Amber, TempRed, Red} | Confirm_Needed: Boolean [ that is true or false] | Target_Pressure: Nat [ that is { 0, 1, 2, } ] | Target_Temp: Nat | Target_Flow: Nat | Manual_Override_Value: Nat | ... ________________________________________________________________ (b) Here is a description of the state
change for two actions: when a digit is pressed on
the keypad and when the '-' key is pressed. keypad_digit(d) ________________________________________________________________ | add d to the right-hand end of Manual_Override_Value ________________________________________________________________ alarm_lower [minus key is pressed] ________________________________________________________________ | if ( Alarm_State is Red or Alarm State is TempRed ) | then set Alarm_State to Amber | if ( Alarm_State is Amber or Alarm_State is Green ) | then set Alarm_State to Green ________________________________________________________________ Using these to guide you, complete the following two partial descriptions of the state changes for the CONFIRM and CANCEL buttons on the Emergency Confirm control panel confirm ________________________________________________________________ | set Confirm_Needed to false | if ( Alarm_State is TempRed ) | then set Alarm_State to Red | ... something about emergency shutdown too | ... ________________________________________________________________ cancel ________________________________________________________________ set Confirm_Needed to false | if ( Alarm_State is TempRed ) | then set Alarm_State to Amber | ... something about emergency shutdown too | ... ________________________________________________________________ (c) Produce descriptions of the state change for the following actions: (i) alarm_higher
- the '+' key is pressed on the Alarm Control panel (d) Check your state and actions by running through the scenario and annotating each action with the current state. Use the following example of the first few steps as a guide to the appropriate level of detail.
answer available for tutors only |
|