[16 Sep] Phase 1 of the project has been released. See SVN:Project:CSE4312-F09-Project.pdf.

[Oct 30] Phase 2 of the project has been released. See section 4 and onwards of SVN:Project:CSE4312-F09-Project.pdf. Make sure you have version 0.31.

[Nov 24] Phase 3 of the project has been released. See sections 6 and 7 (pages 20-23) of the latest version of SVN:Project:CSE4312-F09-Project.pdf. You will be required to make an appointment to meet with the TA to demonstrate that your code satisfies the user requirements. Please read the instructions carefully so that you are prepared for the meeting. The current dates for meeting with TA are set for Dec. 18th and 19th. The TA will be available during the class of Dec 3rd in the SEL (4-6pm); please attend that class and ensure that your team obtains a slot of time for the evalulation.

[Nov 24] Asssignment: In the bridge controller (series 02 slides), the car sensors are added at page 239 and onwards (see environment/controller diagram on p239 and p244). In PAT2, (1) complete the W-description including the sensors, (2) Develop a PAT2 specification of the controller, and (3) show that the System = Controller || Environment satisfies all the requirements (expressed in temporal logic). Submit your PAT2 file electronically. Due Date: December 8 noon. Submit a writtent copy in the course drop box.