Adaptive Cruise Control

1
Adaptive Cruise Control

• ACC - 03
• Irfan - Aaron
• Tom Hand

2
Unique Features of System

• Separation of Concerns Systems Interaction

• Automatic Auto Braking

• Adaptive Deceleration Rate

• Safety Collision Avoidance

3
Components of unique feature

• ACC Sensors
• Radar Senses Obstacles in front of host
  vehicle.
• Speed Senses Speed of host vehicle.

• ACC Controller
• Controls the digital logic of the system

• ACC Actuators
• Brake Actuates Brakes of host vehicle
• Speed Actuates Speed of host vehicle
• Cruise Actuates Cruise Control of host vehicle

• User Interface
• Warning Indicator Emergency Messages
• Auto Brake Indicator ACC Engaged Message

4
What does feature support?

• Functionality of unique feature

• Obstacle Detection
• Auto Braking
• Control Transfer
• Warning Indicator

5
Sample Scenario
Obstacle
detects
Radar
Controller
actuateBrakes
readData
Auto_Brake_Indicator
senseRadarSignal
Brake_Actuator
Radar Sensor
autoBrakingSignal
releaseThrottle
Brakes
Engine_Control
brakeSignal
6
Sample Scenario Continue
Obstacle
detects
Radar
Controller
actuateBrakes
readData
Auto_Brake_Indicator
actuateSpeed
senseRadarSignal
Brake_Actuator
Radar Sensor
autoBrakingSignal
Speed_Actuator
compressThrottle
releaseThrottle
Brakes
Engine_Control
brakeSignal
7
Key Model Class Diagram

• Displays the components of the system and
• explains the relationships between them.
• Reasons
• Provides foundations for other Diagrams.
• Explains system very well.
• Shows the relationships.

8
Class Diagram
9
Critical Properties

• Safety Properties
• Auto Braking must function.
• Must send warning message.
• Liveness Properties
• If a slower moving obstacle is detected the host
  vehicle eventually slows down.
• ACC must turn off if crash is unavoidable

10
Promela and XSpin

• Results of analysis
• Model Conversion in Promela
• Promela Code
• what kind of analysis did you perform
• OMT Diagrams analysis

11
Demo of Prototype

• High-level features of User Interface
• Viewing Window
• Cruise Control
• Gas Pedal
• Brake Pedal

12
Scenario(s)

• Cruise Control on and set
• The car is resuming to a previous set speed of
  100 MPH
• At 95 MPH the radar detects a vehicle out at
  500ft
• ACC determines that braking is required
• Optimal braking level is determined
• Brakes are applied
• Automobile slows to match speed of vehicle
• Radar continues to determine the distance
• ACC continues this till the radar loses the
  vehicle
• Radar loses vehicle
• Automobile speeds back to preset speed
• Radar continues its detections