Abstract
Autonomous multi-vehicle systems are becoming increasingly relevant for many operations. However, logging data within these systems is difficult. In particular, loss of individual vehicles and inherently lossy and noisy communications environments can result in the loss of important mission data. We present a novel distributed ledger protocol, the Unmanned Vehicle System Logging Protocol (UVSLP), that enhances data survival in such systems. 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 implementation field tests.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chung, T., Clement, M., Day, M., Jones, K., Davis, D., Jones, M.: Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs. In: Proceedings of the 2016 IEEE International Conference on Robotics and Automation, Stockholm, Sweden, April 2016 (2016)
Coppola, M., McGuire, K., De Wagter, C., de Croon, G.: A survey on swarming with micro air vehicles: fundamental challenges and constraints. Front. Robot. AI 7, 18 (2020)
Auguston, M., Whitcomb, C., Giammarco, K.: A new approach to system and software architecture specification based on behavior models. In: Proceedings of the 3rd International Conference on Model-Based Systems Engineering, Fairfax, VA, September 2010 (2010). https://wiki.nps.edu/download/attachments/604667916/MBSE-2010-final.pdf
Nara blockchain white paper. National Archives and Records Administration, February 2019 (2019). https://www.archives.gov/files/records-mgmt/policy/nara-blockchain-whitepaper.pdf
Carter, N.: Design and informal verification of a distributed ledger protocol for distributed autonomous systems using Monterey Phoenix. MS thesis, Naval Postgraduate School, Monterey, CA, December 2020 (2020)
Pommer, P.: Creation and implementation of a distributed ledger to ensure data survivability across an autonomous system. MS thesis, Naval Postgraduate School, Monterey, CA, March 2021 (2021)
Davis, D., Chung, T., Clement, M., Day, M.: Consensus-based data sharing for large-scale aerial swarm coordination in lossy communications environments. In: Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, October 2016 (2016)
Bekmezci, I., Sahingoz, O., Temel, S.: Flying ad-hoc networks (FANETs): a survey. Ad Hoc Netw. 11(3), 1254–1270 (2013)
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. Bitcoin, vol. 4 (2008). https://bitcoin.org/bitcoin.pdf
Yaga, D., Mell, P., Roby, N., Scarfone, K.: Blockchain technology overview. arXiv preprint arXiv:1906.11078. National Institute of Standards and Technology (2019). https://nvlpubs.nist.gov/nistpubs/ir/2018/NIST.IR.8202.pdf
Sherman, A.T., Javani, F., Zhang, H., Golaszewski, E.: On the origins and variations of blockchain technologies. IEEE Secur. Privacy 17(1), 72–77 (2019)
Kannengießer, N., Lins, S., Dehling, T., Sunyaev, A.: Trade-offs between distributed ledger technology characteristics. ACM Comput. Surv. 53(2), 1–37 (2020)
Guegan, D.: Public blockchain versus private blockchain. Documents de travail du Centre d’Economie de la Sorbonne 2017 (2017). https://halshs.archives-ouvertes.fr/halshs-01524440/file/17020.pdf
Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. J. ACM 34(1), 77–97 (1987)
Lamport, L.: Paxos made simple. ACM Sigact News 34(4), 18–25 (2001). https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the “small scope hypothesis”. MIT CSAIL (2003). http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.72.4000&rep=rep1&type=pdf
Davis, D., Jones, K., Jones, M., Giles, K.: Advanced swarm UAV capabilities through collaborative field experimentation. Dudley Knox Library, Naval Postgraduate School (2018)
Day, M., Clement, M., Russo, J., Davis, D., Chung, T.: Multi-UAV software systems and simulation architecture. In: Proceedings of the 2015 IEEE International Conference on Unmanned Aircraft Systems (ICUAS), Denver, CO, June 2015 (2015)
Acknowledgement
This material was supported in part by the National Science Foundation under Agreement No. 1565443. Any opinions, findings, and conclusions or recommendations expressed are those of the authors and do not necessarily reflect the views of the National Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Carter, N., Pommer, P., Davis, D.T., Irvine, C.E. (2022). Increasing Log Availability in Unmanned Vehicle Systems. In: Choo, KK.R., Morris, T., Peterson, G., Imsand, E. (eds) National Cyber Summit (NCS) Research Track 2021. NCS 2021. Lecture Notes in Networks and Systems, vol 310. Springer, Cham. https://doi.org/10.1007/978-3-030-84614-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-84614-5_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-84613-8
Online ISBN: 978-3-030-84614-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)