210 likes | 502 Views
Adaptive Cruise Control. ACC - 03 Irfan - Aaron Tom Hand. Unique Features of System. Separation of Concerns – Systems Interaction. Automatic – Auto Braking. Adaptive – Deceleration Rate. Safety – Collision Avoidance. Components of unique feature. ACC Sensors
E N D
Adaptive Cruise Control ACC - 03 Irfan - Aaron Tom Hand
Unique Features of System • Separation of Concerns – Systems Interaction • Automatic – Auto Braking • Adaptive – Deceleration Rate • Safety – Collision Avoidance
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
What does feature support? • Functionality of unique feature • Obstacle Detection • Auto Braking • Control Transfer • Warning Indicator
Sample Scenario Obstacle detects Controller Radar actuateBrakes Auto_Brake_Indicator readData senseRadarSignal Brake_Actuator Radar Sensor autoBrakingSignal releaseThrottle Brakes Engine_Control brakeSignal
Sample Scenario Continue… Obstacle detects Controller Radar actuateBrakes Auto_Brake_Indicator readData actuateSpeed senseRadarSignal Brake_Actuator Radar Sensor autoBrakingSignal Speed_Actuator compressThrottle releaseThrottle Brakes Engine_Control brakeSignal
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.
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
Promela and XSpin • Results of analysis • Model Conversion in Promela • Promela Code • what kind of analysis did you perform • OMT Diagrams analysis
Demo of Prototype • High-level features of User Interface: • Viewing Window • Cruise Control • Gas Pedal • Brake Pedal
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