A Simplex Architecture for Intelligent and Safe Unmanned Aerial Vehicles

Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016

Volumn , Issue , 2016, Pages 69-75

  Vivekanandan, Prasanth ^a   Garcia, Gonzalo ^b   Yun, Heechul ^a   Keshmiri, Shawn ^b  

^a Electrical Engineering and Computer Science   (United States)

^b University of Kansas   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; HARDWARE; INTEGRATED CIRCUIT DESIGN; MILITARY VEHICLES; REAL TIME SYSTEMS; RECONFIGURABLE HARDWARE; SOFTWARE RELIABILITY; UNMANNED AERIAL VEHICLES (UAV);

COMPUTING PERFORMANCE; FAULT TOLERANT SYSTEMS; HETEROGENEOUS HARDWARE; HIGH PERFORMANCE PROCESSORS; MULTI-CORE PLATFORMS; NORMAL OPERATIONS; PERFORMANCE CHARACTERISTICS; SOFTWARE COMPLEXITY;

PROGRAM DEBUGGING;

EID: 84994519165     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2016.17     Document Type: Conference Paper

References (29)

1. Microhard. http://www.microhardcorp.com/n920.php.
2. Qground station. http://qgroundcontrol.org/.
3. Simulink. http://www.mathworks.com/products/simulink/.
4. Vn-220 rugged gps/ins. http://www.vectornav.com/products/vn200-rugged/.
5. Aeronautical Radio Inc. Avionics Application Standard Software Interface (ARINC) 653, 2013.
6. S. Bak, D. Chivukula, O. Adekunle, M. Sun, M. Caccamo, L. Sha. The system-level simplex architecture for improved real-time embedded system safety. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 99-107. IEEE, 2009.
7. R. Baumann. Soft errors in advanced computer systems. Design & Test of Computers, IEEE, 22(3):258-266, 2005.
8. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, W. Yi. UPPAAL: a tool suite for automatic verification of real-time systems. Springer, 1996.
9. P. Bieber, F. Boniol, M. Boyer, E. Noulard, C. Pagetti. New Challenges for Future Avionic Architectures. AerospaceLab Journal, (4), 2012.
10. S. Borkar. Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. Micro, IEEE, 25(6):10-16, 2005.
11. D. Brière and P. Traverse. AIRBUS A320/A330/A340 electrical flight controls-A family of fault-tolerant systems. In Fault-Tolerant Computing, pages 616-623. IEEE, 1993.
12. J. B. Dabney and T. L. Harman. Mastering simulink. Pearson/Prentice Hall, 2004.
13. P. Fritzson. Principles of object-oriented modeling and simulation with Modelica 2.1. John Wiley & Sons, 2010.
14. G. A. Garcia, S. Keshmiri, R. Colgren. Advanced h-infinity trainer autopilot. AIAA Modeling and Simulation Technologies Conference, August 2010.
15. M. Hoffmann, F. Lukas, C. Dietrich, D. Lohmann. dosek: the design and implementation of a dependability-oriented static embedded kernel. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, pages 259-270. IEEE, 2015.
16. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, et al. sel4: Formal verification of an os kernel. In Symposium on Operating Systems Principles (SOSP), pages 207-220. ACM, 2009.
17. O. Kotaba, J. Nowotsch, M. Paulitsch, S. Petters, H. Theilingx. Multicore in real-time systems temporal isolation challenges due to shared resources. In Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems, 2013.
18. R. E. Lyons and W. Vanderkulk. The use of triple-modular redundancy to improve computer reliability. IBM Journal of Research and Development, 6(2):200-209, 1962.
19. T. C. May and M. H. Woods. Alpha-particle-induced soft errors in dynamic memories. IEEE Transactions on Electron Devices, 26(1):2-9, Jan 1979.
20. D. Montalk and J. Potocki. Computer software in civil aircraft. In Digital Avionics Systems Conference, 1991. Proceedings., IEEE/AIAA 10th, pages 324-330. IEEE, 1991.
21. Y. Moy, E. Ledinot, H. Delseny, V. Wiels, B. Monate. Testing or formal verification: Do-178c alternatives and industrial experience. Software, IEEE, 30(3):50-57, 2013.
22. J. Nowotsch and M. Paulitsch. Leveraging multi-core computing architectures in avionics. In Dependable Computing Conference (EDCC), pages 132-143. IEEE, 2012.
23. NVIDIA. NVIDIA Tegra K1 Mobile Processor, Technical Reference Manual Rev-01p, 2014.
24. M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, A. Y. Ng. Ros: an open-source robot operating system. In ICRA workshop on open source software, volume 3, page 5, 2009.
25. RTCA. DO-178C Software Considerations in Airborne Systems and Equipment Certification, 2011.
26. I. Sadeghzadeh and Y. Zhang. A review on fault-tolerant control for unmanned aerial vehicles (uavs). Infotech@ Aerospace, 2011.
27. L. Sha. Using simplicity to control complexity. IEEE Software, 18(4):20-28, 2001.
28. J. Song and G. Parmer. C'mon: a predictable monitoring infrastructure for system-level latent fault detection and recovery. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, pages 247-258. IEEE, 2015.
29. J. F. Ziegler. Terrestrial cosmic rays. IBM journal of research and development, 40(1):19-39, 1996.