References: [1] Basin, D., Klaedtke, F., ZØalinescu, E. (2017). Algorithms for monitoring real-time properties. 220–235. [2] Latchman, H., Wong, T. (2007). Software Documentation for Airborne Traffic Surveillance Systems, 10-17. [3] Schumann, J., Mengshoel, O.J., Mbaya, T. (2011). Integrated Software and Sensor Health Management for Small Spacecraft, 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology, 77-84. [4] Federal Aviation Administration. (2013). Federal Aviation. Regulation §91. [5] Basin, D., Klaedtke, F., Zalinescu, E. (2011). Algorithms for Monitoring Real-time Properties, 260-275. [6] Murphy, D. W. (2004). The Air Mobile Ground Security and Surveillance System, 20-23. [7] Richard A. Di Lorenzo., Michael A. Bayer. (2009). A Prognostics and Health Management System for an Unmanned Combat Aircraft System – A Defense Acquisition University Case Study, 1- 12. [8] Schumann, Johann., Kristin Y. Rozier. (2014). Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, and Corey Ippolito, Towards Realtime, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems, 1- 27. [9] Federal Aviation Administration. (2013). Federal Aviation. Regulation §91. [10] Johann Schumann., Kristin Y. Rozier., Thomas Reinbacher., Ole J. Mengshoel., Timmy Mbaya., Corey Ippolito. (2013). Towards Realtime, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems, 1-21. [11] Reg Austin. (2010). Unmanned Aircraft Systems –UAVS Design, Development and Deployment, 16-56 . |