1. Project Doors Group Doors 3 Presenters: Becky Smith, Tim Hollosy Demo Given by: Tim Hollosy

2. Separate controller for mirror memory Receives messages from set, 1, 2 buttons, switch, gear sensor Components of mirror memory controller: Activity state for moving to a memory position State for setting memory positions State for Automatic Tilt Down

3. What does mirror memory controller support? Functionality of mirror memory controller Sends messages to the mirror controllers, making it possible to generate conflicts Allows Automatic Tilt Down to override other input to vertical mirror controller Scenario: Memory 1 button is pressed

4. Key model: Class diagram Four main classes are door panel, sensor, controller and actuator Basis for state and sequence diagrams State diagram has separate concurrency for each class; uses methods as events and actions Sequence diagram uses instances of classes as objects, and methods as messages

5. Class Diagram

6. Critical Properties Safety Properites []Torque -> <> idle_state The window system must stop in the event of a “ High Torque ” on a motor, indicating an obstacle. Liveness []windowLocked && passenger_window_Up -> <> idle_state The widow lock switch will inhibit all window control buttons, except the driver ’ s side.

7. Promela and XSpin Analysis We have three different promela models. One for the window system, the mirror system, and the door lock system. Each state in in the state diagram was modeled by a separate process. Reachability of all the Window states was tested. The previous Saftey property was tested. Assertion that the window_locked property is true after the window_lock message has been processed.

8. Promela and XSpin Results of Analysis All states were reachable. Our Safety properties evaluated to true. After the window locked button is pressed, the window_locked guard evaluated to true.

9. Demo of Prototype High-level features of User Interface: Manual / Automatic Locks. Window Positions / Mirror Positions. Ability to change gears.

10. Scenario 1 Driver Locking All Doors Press Lock Button on Driver ’ s Side. All Doors Lock.

11. Scenario 2 Automatic Mirror Tilt Down. Press ‘ p ’ mirror button to select passenger mirror. Switch the gear to reverse. The Mirror Tilt ’ s Down. Switch the gear to Neutral. The Mirror Settings are Restored.

12. Scenario 3 Express Rolldown. Driver presses his window down for one second. The window continues to move down. The driver presses his window up button to cancel the down request. The window stops moving.