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:
  1. 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.
  2. 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.

Copyright 2009