Date of Award

1-1-2016

Document Type

Dissertation

Degree Name

Ph.D.

Organizational Unit

Daniel Felix Ritchie School of Engineering and Computer Science

First Advisor

Anneliese A. Andrews, Ph.D.

Second Advisor

Nathan Sturtevant

Third Advisor

Wenzhong Gao

Keywords

Autonomous vehicles, CEFSM, Communicating extended finite state machine, Mitigation patterns, Model based test, Security testing

Abstract

The purpose of this dissertation is to introduce a novel approach to generate a security test suite to mitigate malicious attacks on an autonomous system. Our method uses model based testing (MBT) methods to model system behavior, attacks and mitigations as independent threads in an execution stream. The threads intersect at a rendezvous or attack point. We build a security test suite from a behavioral model, an attack type and a mitigation model using communicating extended finite state machine (CEFSM) models. We also define an applicability matrix to determine which attacks are possible with which states. Our method then builds a comprehensive test suite using edge-node coverage that allows for systematic testing of an autonomous vehicle.

Publication Statement

Copyright is held by the author. User is responsible for all copyright compliance.

Rights Holder

Seana Lisa Hagerman

Provenance

Received from ProQuest

File Format

application/pdf

Language

en

File Size

198 p.

Discipline

Computer Science

Download



COinS