Etd

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Public

Downloadable Content

open in viewer

Alloy is a lightweight formal modeling tool that generates instances of a software specification to check properties of the design. This work demonstrates the use of Alloy for the rapid development of autonomous vehicle driving protocols. We contribute two driving protocols: a Normal protocol that represents the unpredictable yet safe driving behavior of typical human drivers, and a Connected protocol that employs connected technology for cooperative autonomous driving. Using five properties that define safe and productive driving actions, we analyze the performance of our protocols in mixed traffic. Lightweight formal modeling is a valuable way to reason about driving protocols early in the development process because it can automate the checking of safety and productivity properties and prevent costly design flaws.

Creator
Contributors
Degree
Unit
Publisher
Identifier
  • etd-3956
Keyword
Advisor
Defense date
Year
  • 2020
Date created
  • 2020-05-18
Resource type
Rights statement

Relations

In Collection:

Items

Items

Permanent link to this page: https://digital.wpi.edu/show/5425kd34k