LiveBox: A Self-Adaptive Forensic-Ready Service for Drones

Unmanned Aerial Vehicles (UAVs), or drones, are increasingly expected to operate in spaces populated by humans while avoiding injury to people or damaging property. However, incidents and accidents can, and increasingly do, happen. Traditional investigations of aircraft incidents require on-board flight data recorders (FDRs); however, these physical FDRs only work if the drone can be recovered. A further complication is that physical FDRs are too heavy to mount on light drones, hence not suitable for forensic digital investigations of drone flights. In this paper, we propose a self-adaptive software architecture, LiveBox, to make drones both forensic-ready and regulation compliant. We studied the feasibility of using distributed technologies for implementing the LiveBox reference architecture. In particular, we found that updates and queries of drone flight data and constraints can be treated as transactions using decentralised ledger technology (DLT), rather than a generic time-series database, to satisfy forensic tamper-proof requirements. However, DLTs such as Ethereum, have limits on throughput (i.e. transactions-per-second), making it harder to achieve regulation-compliance at runtime. To overcome this limitation, we present a self-adaptive reporting algorithm to dynamically reduce the precision of flight data without sacrificing the accuracy of runtime verification. Using a real-life scenario of drone delivery, we show that our proposed algorithm achieves a 46% reduction in bandwidth without losing accuracy in satisfying both tamper-proof and regulation-compliant requirements.

[1]  Yvonne Rogers,et al.  From spaces to places: emerging contexts in mobile privacy , 2009, UbiComp.

[2]  Luciano Baresi,et al.  Efficient Dynamic Updates of Distributed Components Through Version Consistency , 2017, IEEE Transactions on Software Engineering.

[3]  Torben Bach Pedersen,et al.  Time Series Management Systems: A Survey , 2017, IEEE Transactions on Knowledge and Data Engineering.

[4]  Andrea Zisman,et al.  Cautious Adaptation of Defiant Components , 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[5]  Bashar Nuseibeh,et al.  On evidence preservation requirements for forensic-ready systems , 2017, ESEC/SIGSOFT FSE.

[6]  Zi Huang,et al.  SK-LSH: An Efficient Index Structure for Approximate Nearest Neighbor Search , 2014, Proc. VLDB Endow..

[7]  Darren D. Cofer,et al.  Requirements and Architectures for Secure Vehicles , 2016, IEEE Software.

[8]  Robert J. Hall,et al.  An Internet of Drones , 2016, IEEE Internet Computing.

[9]  Sarah Underwood,et al.  Blockchain beyond bitcoin , 2016, Commun. ACM.

[10]  Jane Cleland-Huang,et al.  Dronology: An Incubator for Cyber-Physical Systems Research , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER).

[11]  Yijun Yu,et al.  Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop , 2012, J. Syst. Softw..

[12]  Bashar Nuseibeh,et al.  Live Blackboxes: Requirements for tracking and verifying aircraft in motion , 2017 .

[13]  Michael G. Hinchey,et al.  Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach , 2015, Innovations in Systems and Software Engineering.

[14]  Jeremy Clark,et al.  Bitcoin's academic pedigree , 2017, ACM Queue.

[15]  Rui Pinheiro,et al.  On Perception and Reality in Wireless Air Traffic Communication Security , 2016, IEEE Transactions on Intelligent Transportation Systems.

[16]  Aleksandr Kapitonov,et al.  Robonomics: platform for integration of cyber physical systems into human economy , 2018 .

[17]  Elisa Bertino,et al.  Mission Support for Drones: a Policy Based Approach , 2017, DroNet@MobiSys.

[18]  Andrea Zisman,et al.  Dragonfly: a Tool for Simulating Self-Adaptive Drone Behaviours , 2019, 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[19]  Graeme Horsman,et al.  Unmanned aerial vehicles: A preliminary analysis of forensic challenges , 2016, Digit. Investig..

[20]  Yijun Yu,et al.  Environment-Centric Safety Requirements for Autonomous Unmanned Systems , 2019, 2019 IEEE 27th International Requirements Engineering Conference (RE).