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

被引:11
|
作者
Yu, Yijun [1 ]
Barthaud, Danny [1 ]
Price, Blaine A. [1 ]
Bandara, Arosha K. [1 ]
Zisman, Andrea [1 ]
Nuseibeh, Bashar [1 ,2 ]
机构
[1] Open Univ, Sch Comp & Commun, Milton Keynes MK7 6AA, Bucks, England
[2] Univ Limerick, Irish Software Res Ctr, Lero, Limerick V94 NYD3, Ireland
来源
IEEE ACCESS | 2019年 / 7卷
基金
巴西圣保罗研究基金会; 英国工程与自然科学研究理事会; 爱尔兰科学基金会;
关键词
Unmanned aerial vehicles (Drones); software engineering; self-adaptive systems; forensic readiness; flight data recorders; simulators; unmanned traffic management; SYSTEMS;
D O I
10.1109/ACCESS.2019.2942033
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:148401 / 148412
页数:12
相关论文
共 50 条
  • [1] Adaptive Observability for Forensic-Ready Microservice Systems
    Monteiro, Davi
    Yu, Yijun
    Zisman, Andrea
    Nuseibeh, Bashar
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2023, 16 (05) : 3196 - 3209
  • [2] Forensic-Ready Analysis Suite: A Tool Support for Forensic-Ready Software Systems Design
    Daubner, Lukas
    Maksovic, Sofija
    Matulevicius, Raimundas
    Buhnova, Barbora
    Sedlacek, Tomas
    RESEARCH CHALLENGES IN INFORMATION SCIENCE, PT II, RCIS 2024, 2024, 514 : 47 - 55
  • [3] Are You Ready? Towards the Engineering of Forensic-Ready Systems
    Grispos, George
    Garcia-Galan, Jesus
    Pasquale, Liliana
    Nuseibeh, Bashar
    2017 11TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2017, : 328 - 333
  • [4] Towards Forensic-Ready Software Systems
    Pasquale, Liliana
    Alrajeh, Dalal
    Peersman, Claudia
    Tun, Thein
    Nuseibeh, Bashar
    Rashid, Awais
    2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), 2018, : 9 - 12
  • [5] On Evidence Preservation Requirements for Forensic-Ready Systems
    Alrajeh, Dalal
    Pasquale, Liliana
    Nuseibeh, Bashar
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 559 - 569
  • [6] Forensic experts' view of forensic-ready software systems: A qualitative study
    Daubner, Lukas
    Buhnova, Barbora
    Pitner, Tomas
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2024, 36 (05)
  • [7] FORENSIC-READY SECURE iOS APPS FOR JAILBROKEN iPHONES
    Govindaraj, Jayaprakash
    Mata, Rashmi
    Verma, Robin
    Gupta, Gaurav
    ADVANCES IN DIGITAL FORENSICS XI, 2015, 462 : 235 - 249
  • [8] Towards Automated Logging for Forensic-Ready Software Systems
    Rivera-Ortiz, Fanny
    Pasquale, Liliana
    2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 157 - 163
  • [9] Towards verifiable evidence generation in forensic-ready systems
    Daubner, Lukas
    Macak, Martin
    Buhnova, Barbora
    Pitner, Tomas
    2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2020, : 2264 - 2269
  • [10] Self-adaptive Service Monitoring
    Clark, Kassidy
    Warnier, Martijn
    Brazier, Frances M. T.
    ADAPTIVE AND INTELLIGENT SYSTEMS, 2011, 6943 : 119 - 130