An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture

Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016

Volumn , Issue , 2016, Pages 222-225

  Highnam, Kate ^a   Angstadt, Kevin ^a   Leach, Kevin ^a   Weimer, Westley ^a   Paulos, Aaron ^b   Hurley, Patrick ^c  

^a UNIVERSITY OF VIRGINIA   (United States)

^b BBN TECHNOLOGIES   (United States)

^c AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CONTROL EQUIPMENT; NETWORK ARCHITECTURE; OPEN SOURCE SOFTWARE; REPAIR; UNMANNED AERIAL VEHICLES (UAV);

ATTACK SCENARIOS; DOMAIN SPECIFIC; GROUND-STATION SOFTWARE; POTENTIAL ATTACK; QUANTITATIVE ASSESSMENTS; REPAIR TECHNIQUES; SYSTEM ARCHITECTURES; UNCREWED AERIAL VEHICLES;

OPEN SYSTEMS;

EID: 84994577088     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN-W.2016.63     Document Type: Conference Paper

References (36)

1. "APM mission planner 2," http://planner2.ardupilot.com.
2. "ArduPilot," http://ardupilot.com.
3. "MAVLink micro air vehicle communication protocol," http://qgroundcontrol.org/mavlink/start.
4. "QGroundControl," http://qgroundcontrol.org/start.
5. "Unmanned aircraft systems (UAS)," Department of Defense Purpose and Operational Use, 2006.
6. "Hijacking drones with a MAVLink exploit," DIY Drones, 2015.
7. 3DRobotics, "3DR IRIS+," https://store.3dr.com/products/iris.
8. A. Avižienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, 2004.
9. C. DMV, "Report of traffic accident involving an autonomous vehicle," California Department of Motor Vehicles, February 2016.
10. Emlid, "Navio2: Linux autopilot on Raspberry Pi," http://www.emlid. com.
11. Erle Robotics, "Erle-Copter," http://erlerobotics.com/blog/erle-copter/.
12. Z. P. Fry, B. Landau, and W. Weimer, "A human study of patch maintainability," in International Symposium on Software Testing and Analysis, 2012, pp. 177-187.
13. K. Gander, "Drone delivering asparagus to Dutch restaurant crashes and burns," The Independent, March 2015.
14. Y. Y. Haimes, "On the definition of resilience in systems," Risk Analysis, vol. 29, no. 4, pp. 498-501, November 2009.
15. B. Handwerk, "5 surprising drone uses (besides Amazon delivery)," National Geographic, December 2013.
16. D. Kim, J. Nam, J. Song, and S. Kim, "Automatic patch generation learned from human-written patches," in International Conference on Sofware Engineering, 2013.
17. W. Knight, "Google's self-driving-car chief defends safety record," MIT Technology Review, July 2015.
18. J. Launchbury, "High-assurance cyber military systems (HACMS)," DARPA Program Information, November 2015.
19. C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, "A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each," in International Conference on Software Engineering, 2012.
20. C. Le Goues, S. Forrest, and W. Weimer, "Representations and operators for improving evolutionary software repair," in Genetic and Evoluationary Computation Conference, 2012, pp. 959-966.
21. F. Long and M. Rinard, "Staged program repair with condition synthesis," in Foundations of Software Engineering, 2015, pp. 166-178.
22. T. Lozano-Perez, I. J. Cox, and G. T. Wilfong, Autonomous robot vehicles. Springer Science & Business Media, 2012.
23. S. Mechtaev, J. Yi, and A. Roychoudhury, "Angelix: Scalable multiline program patch synthesis via symbolic analysis," in International Conference on Software Engineering, 2016 (To appear).
24. M. W. Mueller and R. D'Andrea, "Stability and control of a quadrocopter despite the complete loss of one, two, or three propellers," in Robotics and Automation, May 2014, pp. 45-52.
25. H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra, "SemFix: Program repair via semantic analysis," in International Conference on Sofware Engineering, 2013, pp. 772-781.
26. P. Paganini, "Hack-proof drones possible with HACMS technology," http://resources.infosecinstitute.com/hack-proof-drones-possiblehacms-technology/, 2014.
27. R. Pries, W. Yu, X. Fu, and W. Zhao, "A new replay attack against anonymous communication networks," in International Conference on Communications. IEEE, 2008, pp. 1578-1582.
28. Y. Qi, X. Mao, Y. Lei, Z. Dai, and C. Wang, "The strength of random search on automated program repair," in International Conference on Software Engineering, 2014.
29. R.V.R. Robert Constable, Mark Bickford, "Investigating correct-byconstruction attack-tolerant systems," Cornell University, Tech. Rep., 2010. [Online] . Available: http://hdl.handle.net/1813/23575
30. N. Schiper, V. Rahli, R. V. Renesse, M. Bickford, and R. L. Constable, "Developing correctly replicated databases using formal tools," in Systems and Networks, 2014, pp. 395-406.
31. E. Schulte, J. DiLorenzo, S. Forrest, and W. Weimer, "Automated repair of binary and assembly programs for cooperating embedded devices," in Architectural Support for Programming Languages and Operating Systems, 2013.
32. E. Schulte, J. Dorn, S. Harding, S. Forrest, and W. Weimer, "Postcompiler software optimization for reducing energy," in Architectural Support for Programming Languages and Operating Systems, 2014.
33. G. Smith, "Why drone enthusiasts all over the country are getting arrested," The Huffington Post, July 2014.
34. R. R. Sobol, "Popular hobby drones pose danger when drivers lose control," The Chicago Tribune, January 2015.
35. J. Spector, "The future of hobby drone regulation is up in the air," CityLab, The Atlantic, August 2015.
36. H. Sreenivasan, "Rise of domestic drones draws questions about privacy, limiting use," PBS News Hour, April 2013.