Acknowledgement
본 연구는 국토교통부/국토교통과학기술진흥원의 지원으로 수행되었음(과제번호: 21DPIW-C153651-03, 과제명: 공공혁신조달 무인이동체 통합기술관리 및 시험평가체계 개발).
References
- The open standards for drone hardware (https://pixhawk.org)
- Kim, T. G. Kim, C. H. Rhee, J. H. Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng and Dongyan Xu, "RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles Through Control-Guided Testing," 28th USENIX Security Symposium, August 14-16, 2019, pp. 425~442.
- ALIAS ROBOTICS Robot Cybersecurity, The Cybersecurity Status of PX4, pp. 11~18.
- SGS-TUV Saar GmbH, Certificate NO FS/71/220/15/0105 for LDRA tool suite (CERT. REPORT NO. K1C20003), 2015.
- LDRA Ltd., User Guide for LDRA tool suite Version 9.5, 2016, pp. 341~343.
- MISRA, MISRA-C++:2008, Guidelines for the use of the C++ language in critical systems, 2008, pp. 17~173.
- LDRA Ltd., MISRA-C++:2008 Standards Model Compliance for C++, 2020.
- RTCA Inc, DO-178C, Software Considerations in Airborne Systems and Equipment Certification, 2011, p. 100.
- IEC, IEC 61508-3, Functional safety of electrical/ electronic/programmable electronic safety-related systems - Part 3: Software requirements, 2nd Ed., 2010, p. 57.
- ISO, ISO 26262-6, Road Vehicles-Functional Safety-Product development at the software level, 2011, p. 26.
- IEC, IEC 62279, Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems, 2nd Ed., 2015, p. 75.
- IEC, IEC 60880, Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions, 2nd Ed., 2006, p. 161.
- IEC, IEC 62304, Medical device software - Software life cycle processes, 1st Ed., 2006, pp. 90~91.