Range specification bug detection in flight control systems through fuzzing

• Main Authors: HAN, Ruidong, MA, Siqi, LI, Juanru, NEPAL, Surya, LO, David, MA, Zhuo, MA, Jianfeng
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2024
• Subjects: Drones; Aerospace Control; Trajectory; Computer Bugs; Fuzzing; Actuators; Codes; Drone Security; Configuration Test; Range Specification Bug; Deep Learning Approximation; Flight Control; Flight Control System; Control Programs; Control Parameters; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/9263
• Institution: Singapore Management University

Developers and manufacturers provide configurable control parameters for flight control programs to support various environments and missions, along with suggested ranges for these parameters to ensure flight safety. However, this flexible mechanism can also introduce a vulnerability known as range...