Code / Model Review Process of Unmanned Aerial Vehicle Software Compliant with DO-178B Certification

Abstract

In this paper, the analysis of the errors encountered in the code / model review process, which is a part of the verification approach developed in accordance with the DO-178B certification requirements of the software of the UAV Flight Control Computer, and the lessons learned from this process are presented. The software verification process is a process used to verify that the aircraft's flight control computer behaves in accordance with specified requirements and does not produce unexpected results. One of the most important parts of this process is the code/model review process, in which the code and models created in response to the software requirements are checked to he fully compatible and complete with the requirements. In the paper, first the software architecture will he explained, then the code review process for the code and models written in accordance with the software architecture will he mentioned. Afterwards, the checklist items used for code / model review will he explained, the classification of errors found in code / model review according to the level of criticality and analysis on the most common errors will he made, and lessons learned from this process will he presented.