Lab 05
Lab 05
Lab 05
This assignment contains 4 pages (including this cover page) and 4 problems. You are responsible for ensuring
that your copy of the assignment is complete. Bring any discrepancy to the attention of your instructor.
Special Instructions:
3. The burden of communication is upon you. Solutions not properly explained will not be considered
correct. Part of proper communication is the appearance and layout. If we cannot “decode” what you
wrote, we cannot grade it as a correct solution.
4. You may consult outside sources, such as textbooks, but any use of any source must be documented
in the assignment solutions.
5. You are permitted to discuss general aspects of the problem sets with other students in the class, but
you must hand in your own copy of the solutions.
6. Your lab assignment solutions are due by 11:55PM on the due date and must be submitted on
Brightspace.
• Late assignments will be graded with a late penalty of 10% of the full grade per day up to 48
hours past the deadline.
7. You are responsible for ensuring that your lab assignment is submitted correctly and without corruption.
Problem 1 2 3 4 Total
Points: 10 8 12 10 40
Page 1 of 4
SYSC 3120 — Module 5 Lab Assignment Due Date: November 26, 2021
The purpose of this lab is to participate in activities related to the formal specification of requirements,
assumptions, and domain properties. In particular, it will exercise your ability to formally specify requirements
statements using propositional logic, predicate logic, and linear temporal logic (LTL).
*Important Note*
If you feel it necessary to make assumptions regarding missing information, or to clarify the stated requirements,
please ensure that your assumptions are clearly and properly documented, and that they are reasonable for
the given system.
Submission Requirements
Please read the following instructions very carefully and follow them precisely when submitting your assignment!
Page 2 of 4
SYSC 3120 — Module 5 Lab Assignment Due Date: November 26, 2021
Grading Notes
An important part of this lab assignment is following instructions. As such, the following grade penalties
will be applied for failure to comply with the submission requirements outlined above:
• Failure to submit the Lab Assignment Solutions will result in a grade of 0 for the assignment.
• Failure to submit the Lab Assignment Solutions in the required format (PDF) will result in deduction
of 5% of the full grade of the assignment.
Page 3 of 4
SYSC 3120 — Module 5 Lab Assignment Due Date: November 26, 2021
Problem 2 [8 points]
Specify requirements statements (a)-(d) using propositional logic.
Page 4 of 4