Anti-Lock Braking System ABS1 Presenter: Josh Walworth Demo Given by: Ryan Stephenson.

Slides:



Advertisements
Similar presentations
Realtime Commercial Bidding System Team 6 Brenda Harvey John Johnston Jason LaBumbard Peter Tirrell.
Advertisements

ECE 720T5 Fall 2012 Cyber-Physical Systems Rodolfo Pellizzoni.
System identification of the brake setup in the TU Delft Vehicle Test Lab (VTL) Jean-Paul Busselaar MSc. thesis.
ANTI-LOCK BRAKES.
Motor Vehicle Level 3 Anti-Lock Braking Systems Resource 1.
Sensors used in ABS (Anti-Lock Braking System)
NEXT GENERATION ANTILOCK BRAKES VELAMMAL COLLEGE OF
Embedded Systems Details. Object Model: Four main system objects or classes Controller object might be made up of several controllers is the brains of.
Curved Tracks. Force on a Curve  A vehicle on a curved track has a centripetal acceleration associated with the changing direction.  The curve doesn’t.
Embedded Automotive Door Control System Doors2 Presented by: Kevin Forker Sheela Hiremath Demo Given by: Sheela Hiremath.
Adaptive Cruise Control Group 2 Presenters:Lydia Eatmon Ben Deneweth Toby Tripp Craig Vasel.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 23 Slide 1 Software testing.
Overview of Anti-lock Brake System Jonathan Brown ABS 2 Fall 2001.
Automotive Door Controls DOORS 1 Presenter: Hyun-soo Kim, Ketan Patel, David Tkaczyk Demo Given by: David Linsey.
Project Doors Group Doors 3 Presenters: Becky Smith, Tim Hollosy Demo Given by: Tim Hollosy.
Self-Contained Particulate Filter Filter 3 Presenters: Ian Gray, Kyhia Bostic Demo Given by: Nathan Sullivan.
ABS 4 Presenters: Hong Jung, Binh Lai, Matthew Martin, Joe Mongiat, and Travis Ratcliff.
Overview of Team Ford: Active Park Assist Software Engineering - CSE435 Michigan State University Fall 2014 Team members: Project Manager: Joe Reeder Facilitator:
Booch Block diagram for cruise control
Embedded Systems: Review and OMT modeling Slides by Gretel Coombs and Betty H.C. Cheng.
- Testing programs to establish the presence of system defects -
Self-Cleaning Particulate Filter Project Filter II Team Presenters: Roger Ostrander Steve Van Neste Demo given by: Roger Ostrander.
Brakes.
ABS(Antilock braking system)
ANTI LOCK BRAKING SYSTEM
Abs.
Black Box for vehicle diagnostics. 2 Abstract This project is an implementation of black box for vehicular safety. Key features: Diagnostic check of vehicle.
Computers & Automobile Safety. Overview: Computers & Car Safety How are computers helping now? –Airbags, Emergency services notification –Drive-by-wire.
United States Rulemaking on Electronic Stability Control (ESC) for Light Vehicles 138 WP.29 March, 2006 Informal document No. WP (138th WP.29,
ANTI LOCK BRAKING SYSTEM
Use a paper and write down What you know about brakes 1.
ESP Electronic Stability Programs
Software Testing Reference: Software Engineering, Ian Sommerville, 6 th edition, Chapter 20.
2Object-Oriented Analysis and Design with the Unified Process Objectives  Describe the differences and similarities between relational and object-oriented.
CS3773 Software Engineering Lecture 04 UML Class Diagram.
A little bit of UML Csaba Veres. UML A de facto standard for OO analysis and design Many components class diagrams use cases interaction diagrams...
Software Testing Reference: Software Engineering, Ian Sommerville, 6 th edition, Chapter 20.
CSC 480 Software Engineering Lecture 15 Oct 21, 2002.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 20 Slide 1 Defect testing l Testing programs to establish the presence of system defects.
Demonstration Design Light Sensor Truck Light As the truck passes the light, the light sensor turns off the power to the truck, ensuring that the truck.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
Software Engineering1  Verification: The software should conform to its specification  Validation: The software should do what the user really requires.
 Introduction  What is Driverless Car ?  History  Component  Action  Technology  Advantages  Disadvantages  Conclusion  Reference.
Testing and Evaluating Software Solutions Live Test Data.
Clever Framework Name MARCH 27, Meeting Agenda  Framework Overview  Prototype 1 Design Goals  Prototype 1 Demo  Prototype 2 Design Goals  Timeline.
Anti-lock Brake System Group 2 Presenters: Christan Balnius, Zain Kazim, Mark Pulver Demo Given by: Brian Lawnichak.
Antilock Braking System Dr. Khisbullah Hudha
Software Systems Verification and Validation Laboratory Assignment 4 Model checking Assignment date: Lab 4 Delivery date: Lab 4, 5.
Object and Class Structuring Chapter 9 Part of Analysis Modeling Designing Concurrent, Distributed, and Real-Time Applications with UML Hassan Gomaa (2001)
Software Testing Reference: Software Engineering, Ian Sommerville, 6 th edition, Chapter 20.
Sommerville 9th Edition Chapter 8: Software Testing
Onboard Diagnostics Diagnostics III Project Manager: Dennis Kelly Documentation Manager: Paul Robinson Facilitator: Richard Ford Research Manager: Arif.
SENSOTRONIC BRAKE CONTROL (the brakes of the future)
ANTI LOCK BRAKING SYSTEM
Embedded Control Systems Anti-Lock Braking System
BRAKING SYSTEM COMPONENTS AND PERFORMANCE STANDARDS
Group Y Presenters: (indicate roles)
ESP Electronic Stability Programs
ANTI LOCK BRAKING SYSTEM
“TRACTION CONTROL SYSTEM”
Smart Car through IoT 라이 아샤리 리날디
How The Failed Brake System of Your Car Damage Its Other Parts.
Auto Upkeep Basic Car Care, Maintenance, and Repair (2nd Edition)
Software testing.
Auto Upkeep Basic Car Care, Maintenance, and Repair (2nd Edition)
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
Modeling and applying it
VEHICLE TECHNOLOGY BRAKE SYSTEMS.
Anti-lock Brake System (ABS)
Presentation transcript:

Anti-Lock Braking System ABS1 Presenter: Josh Walworth Demo Given by: Ryan Stephenson

Unique Feature: Partitions Two distinct functional divisions –Suggested by specifications –Manifested in diagrams and prototype Components: –Vehicle –Anti-Lock Braking System

What do partitions provide? Advantages of partitioned structure –Simplifies the models –Encourages cohesion –Highlights any misinterpreted requirements When ABS hardware fails, this division ensures that normal braking still occurs.

Key Model: Class Diagram Two levels of aggregation form abstract foundation for requirements analysis Why class diagram is key: –Developed first –Implies dynamic component interactions –Connection to problem domain –Structure for OO solution design –Relatively Simple

Vehicle ABS Caliper Wheel Controller Sensor PM Model

Critical Properties 1. ABS braking state will eventually be exited Liveness [] (state==absbrake -> <> state!=absbrake) 2. ABS braking will never disable normal braking (ie. during a failure) Safety [] (!systemTestPassed -> <> state==normalbrake)

Promela and XSpin Results of analysis –LTL formulas input to XSpin –Exhaustive checking Both properties reported valid –Property #1: This is good news –Property #2: Must go through reset (not feasible)

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