Design and Informal Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix
Abstract
Autonomous vehicle systems, to include multi-vehicle systems, are becoming increasingly relevant in military operations. A problem emerges, however, when logging data within these systems. In particular, loss of individual vehicles and inherently lossy and noisy communications environments can result in the loss of important mission data. This thesis presents a novel distributed ledger protocol that can be used to ensure that the data in such a system survives. We demonstrate the behavioral correctness of this protocol using informal verification methods and tools provided by the Monterey Phoenix project. We further verified the correctness of this protocol through the conduct of implementation field tests at Camp Roberts, CA.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 2020
- Accession Number
- AD1126791
Entities
People
- Nickolas L. Carter
Organizations
- Naval Postgraduate School