Automotive Door Controls

1
Automotive Door Controls

• DOORS 1
• Presenter Hyun-soo Kim, Ketan Patel, David
  Tkaczyk
• Demo Given by David Linsey

2
Unique Feature Torque

• Window shutdown upon high torque (obstacle)
• Components of unique feature
• Passenger window
• Window actuator
• Window motor
• Torque sensor

3
Torque Sensor Details

• Functionality of unique feature
• Prevent motor burnout
• Prevent lawsuits from damaged fingers/limbs
• Can be modeled in prototype
• Scenario
• Passenger window starts rolling up
• Obstacle put in window path, window hits obstacle
• Torque sensor reads high torque, shuts down

4
Key Model

• Window state diagram
• State diagrams very important
• Helpful in understanding auto-down
• Helpful in understanding window conflicts and
  resolutions

5
Model
6
Critical Properties

• Safety Property
• Window motor must turn off when the torque event
  occurs
• (Window??torque -gt ltgt Motor off )
• Liveness Property
• Passenger mirror tilts fully down when it is
  selected and the gear is in reverse
• ( (SelectedM passenger SelectG
  reverse ) -gt ltgt Passenger mirror tilts down)

7
Promela and XSpin

• Results of analysis
• Window and Mirror state diagrams were modeled in
  spin
• LTL properties were check
• Both tests passed
• Discussion of results
• No modifications were needed
• always true, YES

8
Demo of Prototype

• High-level features of User Interface
• Mirror modeling
• Window conflicts
• Window torque
• Window obstacles

9
Scenarios

• Mirror
• Select passenger
• Shift to reverse
• Window
• Driver auto down
• Insert obstacle
• Roll up
• Passenger window conflict