The figures are below that could help:
Prepare a requirements specification for the operation student adding a new course registration. Please use the structured specification format provided for the insulin pump example in Figure 4.13 of the textbook, i.e. your structured specification should include the following items: Function, Description, Inputs, Source, Outputs, Destination, Action, Requirement, Pre-condition, Post-condition, and Side effects. Make assumptions if you feel that it is needed. Explicitly state if you make any assumptions
Figure 1:
figure 2:
Figure 3
Insulin Reservoir Needle Assembly Pump Clock Sensor Controller Alarm Display1 Display2 Figure 1.4 Insulin pump hardware Power Supply Blood Sensor Analyze Sensor Reading Blood Sugar Compute Insulin Insulin Log Insulin Dose Insulin Pump Control Insulin Pump Pump Data Compute Pump Commands Log Dose Example requirements specifications for the insulin pump software system using structured specifications (1/2) Insulin Pump/Control Software/SRS/3.3.2 Function Compute insulin dose: safe sugar level. Description Computes the dose of insulin to be delivered when the current measured sugar level is in the safe zone between 3 and 7 units. Inputs Current sugar reading (r2); the previous two readings (rO and r1). Source Current sugar reading from sensor. Other readings from memory Outputs CompDose-the dose in insulin to be delivered. Destination Main control loop. Example requirements specifications for the insulin pump software system using structured specifications (2/2) Action CompDose is zero if the sugar level is stable or falling or if the level is increasing but the rate of increase is decreasing. If the level is increasing and the rate of increase is increasing, then CompDose is computed by dividing the difference between the current sugar level and the previous level by 4 and rounding the result. If the result, is rounded to zero then CompDose is set to the minimum dose that can be delivered Requirements Two previous readings so that the rate of change of sugar level can be computed. Pre-condition The insulin reservoir contains at least the maximum allowed single dose of insulin. Post-conditionrO is replaced by r1 then r1 is replaced by r2 Side effects None. Insulin Reservoir Needle Assembly Pump Clock Sensor Controller Alarm Display1 Display2 Figure 1.4 Insulin pump hardware Power Supply Blood Sensor Analyze Sensor Reading Blood Sugar Compute Insulin Insulin Log Insulin Dose Insulin Pump Control Insulin Pump Pump Data Compute Pump Commands Log Dose Example requirements specifications for the insulin pump software system using structured specifications (1/2) Insulin Pump/Control Software/SRS/3.3.2 Function Compute insulin dose: safe sugar level. Description Computes the dose of insulin to be delivered when the current measured sugar level is in the safe zone between 3 and 7 units. Inputs Current sugar reading (r2); the previous two readings (rO and r1). Source Current sugar reading from sensor. Other readings from memory Outputs CompDose-the dose in insulin to be delivered. Destination Main control loop. Example requirements specifications for the insulin pump software system using structured specifications (2/2) Action CompDose is zero if the sugar level is stable or falling or if the level is increasing but the rate of increase is decreasing. If the level is increasing and the rate of increase is increasing, then CompDose is computed by dividing the difference between the current sugar level and the previous level by 4 and rounding the result. If the result, is rounded to zero then CompDose is set to the minimum dose that can be delivered Requirements Two previous readings so that the rate of change of sugar level can be computed. Pre-condition The insulin reservoir contains at least the maximum allowed single dose of insulin. Post-conditionrO is replaced by r1 then r1 is replaced by r2 Side effects None
