Exercise 1.
Assessment Indicators:
LO1 The finite state machines produced
The construction of combined machines
LO2 The simulation and test cases
The definition of equivalence
You are given the following vending machine specifications:
- Machine N can dispense the following type of snacks: chocolate bar,
packet of crisps or bag of sweets. N has 3 buttons for selecting the type
of snack and 2 buttons for selecting the number of snacks: 1 or 2.
Payment can only by contactless card. The customer first selects the type of snack and then selects the number of snacks. If the number of snacks is available then the customer presents the contactless card to the card reader. If payment is approved then N will dispense the selected item and wait for the next customer. N can run out of a particular type of snack, in this case a warning will be issued to the customer tha another item can be selected. The customer can either select another type of snack or choose not to have a snack. If number of snacks selected is not available then N will only dispense the available number of snacks.
- Machine M is a updated version of machine N. The unhealthy chocolate bar has been replaced by the healthy cereal bar and the healthy option bag of popcorn has been added. M has therefore 4 buttons for selecting the type of snack. The operation of M is the same as N.
- Machine P can dispense the the following type of healthy drinks: fruit juice, water or skimmed milk. P has currently 3 buttons for selecting the type of drink. Payment can only by contactless card. The customer first selects the type of drink and then presents the contactless card to the card reader. If payment is approved then P will dispense the selected item and wait for the next customer. P can run out of a particular drink, in this case a warning will be issued to the customer that another item should be selected. The customer will only be presented with the no drink option if P runs out of all drinks.
Please turn over .....
CTEC5723 High Assurance System Design Sheet 6 of 12 You are required to
a) Produce a model of each of the following machines together with an appropriate set of documentations which includes: the specification of the models, the models themselves, design decisions and their simulation and test cases (using JFLAP):
i) Machine N for dispensing a number of snacks.
ii) Machine M for dispensing a number of snacks.
iii) Machine P for dispensing a drink.
iv) A combined P-N machine in which a number of snacks are dispensed after the drink. Note: payment for machine P is separate from machine N.
v) A combined P-M machine in which a number of snacks are dispensed after the drink. Note: payment for machine P is separate from machine M.
vi) A combined M-P machine in which a drink is dispensed after number of snacks. Note: payment for machine M is separate from machine P.
About the recuiterMember since Mar 14, 2020 Dfer Swa
from Split-Dalmacija, Croatia