Assurance Cases
1 Overview:
For this assignment each member of the group must create two
assurance cases for iPunch You must work on your own. That
is, this is a group assignment only in the sense that it is related
to the work that your group completed earlier in the semester (and
in the sense that it will be part of your group-project grade).
2 Tasks:
For this assignment each individual in the group must:
-
Create an assurance case for the security claim "One shift
worker can't punch-out for another without permission." based on
your group's design of iPunch.
-
Create an assurance case for the safety claim "Shift workers can
punch-in when one punch-station fails."
based on your group's design of iPunch.
Each individual must determine the exact nature of her/his deliverable.
3 Submission:
Your deliverables must be submitted using the
individual assignment
submission process. (See the relevant
course policy.)
4 Visibility:
Good assurance cases will be made public (though without attribution)
so that they can be discussed and compared.