The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed. The PVS Quiz is always during the Tuesday Lecture based on the PVS Exercise and all lecture material of the previous week. There will be no make-up for Quizzes (students are thus advised to always attend the Tuesday lecture to avoid a zero grade).
You must be in the Lab during the scheduled Lab hour. Expect to take quizzes during the Lab hour on the PVS work and readings in the required text REMH. Lab work must be submitted before the Quiz.
feedback 4312 quiz1
.✓ (3%)Each week you are required to study readings, on you own time, from:
The labs, quizzes, assignment, project and exam will be based on your knowledge of the required reading/study material as well as material presented in class.
<hi cyan> In addition, each Lab has some reading/preparation to do before the Lab.</hi>
Week | Date | Lab(Th) | Quiz | Assigns | Study WIFT-PVS/REMH) |
---|---|---|---|---|---|
1 | Thu 10 Sep | Lab0 | WIFT-PVS Prop. Logic pages 57-66 | ||
2 | Tue 15 Sep | Lab1 | 1 | WIFT-PVS Pred. Logic pages 66-76 | |
2 | Tue 22 Sep | Lab2 | 2 | WIFT-PVS Phone Book Specification p5-25 | |
3 | Tue 29 Sep | Lab3 | 3 | Sect2:2 Identify System Boundary | |
4 | Tue 06 Oct | Lab4 | 4 | Sect2:3 Develop Operational Concepts | |
5 | Tue 13 Oct | Lab5 | 5 | Sect2:4 Identify Environmental Assumptions | |
6 | Tue 20 Oct | Lab6 | 6 | Sect2:5/6 Develop Functional Architecture | |
7 | Tue 27 Oct | Sect2.7 Identify System Modes | |||
8 | Tue 03 Nov | Lab7 | 7 | Sect2:8 Develop Performance Constraints | |
9 | Tue 10 Nov | Assign | Assign | Sect2:9 Define Software Requirements | |
10 | Tue 17 Nov | 8 | Sect2:10 Allocate Subsystem Requirements | ||
11 | Tue 24 Nov | Lab8 | |||
12 | Tue 01 Dec | Project | 9 | Project | |
13 | Tue 01 Dec | Project | |||
Wed 09 Dec | Exam | 9am | ACE007 |
Notes: There are some slides available on the course web site but much of the work is done on the blackboard. Instruction in the use of PVS for specification and validation is done mainly via the Labs and the associated Quizzes.