Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
公开可下载的内容
open in viewerAlloy 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
- 贡献者
- Degree
- Unit
- Publisher
- Identifier
- etd-3956
- 关键词
- Advisor
- Defense date
- Year
- 2020
- Date created
- 2020-05-18
- Resource type
- Rights statement
关系
- 属于 Collection:
项目
Permanent link to this page: https://digital.wpi.edu/show/5425kd34k