MIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Graduate Theses
  • View Item
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Graduate Theses
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Developing a simulator to aid in the design of a safety interlock for self-driving cars

Author(s)
Leong Feng Ping, Angela.
Thumbnail
Download1237530447-MIT.pdf (3.048Mb)
Other Contributors
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Advisor
Daniel N. Jackson.
Terms of use
MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Abstract
Self-driving cars have tremendous potential to be safer than human drivers, but are complex systems for which evaluating safety is challenging: using a statistical approach requires self-driving cars to have clocked on the order of billions of miles of driving to present convincing evidence. Thus there is potential in exploring a new design architecture for self-driving cars in which a small, trusted module of code cooperates with the main controller to ensure safety while being easily verifiable; we call this the safety Interlock. This thesis focuses on the scenario of an ego car driving in a single, straight lane behind a lead car that may suddenly brake. We first propose and prove, using formal verification, an algorithm for Interlock to prevent collision by maintaining a safe separation distance that allows the ego car to stop in time. We then present a simulation program developed using the Processing programming language, which provides visual confirmation of the efficacy of the Interlock algorithm, and is designed to be extensible to more complex road scenarios.
Description
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February, 2020
 
Cataloged from student-submitted PDF of thesis.
 
Includes bibliographical references (pages 77-78).
 
Date issued
2020
URI
https://hdl.handle.net/1721.1/129842
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Publisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.

Collections
  • Graduate Theses

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries
PrivacyPermissionsAccessibilityContact us
MIT
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.