Escolar Documentos
Profissional Documentos
Cultura Documentos
ABS1
Presenter: Josh Walworth
Demo Given by: Ryan Stephenson
Components:
Vehicle
Anti-Lock Braking System
Vehicle
Model
ABS
Controller
Caliper
Sensor
Wheel
PM
Critical Properties
1. ABS braking state will eventually be
exited
Liveness
[] (state==absbrake -> <> state!=absbrake)
Demo of Prototype
High-level features of User Interface:
Condition Settings (to provide road and
independent wheel slip information)
Vehicle Action Buttons/Sliders (to start the
car, accelerate, and brake)
Readouts (providing speed and braking
information)
Scenario(s)
3 Scenarios will be run through: normal
road conditions, icy conditions, and wet
conditions.
1) Set Conditions
2) Accelerate to top speed
3) Apply Brakes
4) View Results