FORMAL PROOF AND PERFORMANCE TESTING OF THE UNMANNED VEHICLE SYSTEM LOGGING PROTOCOL
Loading...
Authors
Duvio, Dalton L.
Subjects
Unmanned Vehicle System Logging Protocol
UVSLP
swarm
formal proof
blockchain
distributed ledger
UVSLP
swarm
formal proof
blockchain
distributed ledger
Advisors
Irvine, Cynthia E.
Davis, Duane T.
Date of Issue
2023-09
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
Multivehicle autonomous systems are becoming increasingly relevant, but the loss of individual vehicles and unstable communications environments make maintenance of data logs for mission reconstruction and analysis difficult. A blockchain-based distributed ledger protocol, the Unmanned Vehicle System Logging Protocol (UVSLP), has been proposed to address this problem. Formal proofs of its correctness and controlled experiments examining its performance are required to use the proposed protocol with higher confidence. This work documents the formal definition of the protocol using predicate logic with added temporal operators and provides formal proofs of the protocol’s claimed properties. In addition, we use a prototype implementation in a simulated environment to characterize the protocol’s performance for specific network loss rate, event generation rate, and number of vehicles values. Results are presented in the form of number of messages and volume of data produced by the protocol for each configuration. Our results show that message volume increases no worse than linearly as the number of vehicles and event generation rates increase and decreases as network loss rates increase. The culmination of this thesis is a mathematically proven protocol with known performance characteristics that improves the resiliency and availability of drone swarm data.
Type
Thesis
Description
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Approved for public release. Distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.