Model-Based Critical Flight Control Software Code Generation and Verification Method

Traditional methods for the development of critical-level flight control software suffer from several limitations, including low efficiency, poor adaptability to foreign technologies, and limited openness. This paper proposes a model-based critical flight control software code generation and verification method to address the limitations of traditional development of critical flight control software code. The method extracts module units, data flow, and control flow information by parsing control law models, and generates code that meets safety requirements through self-developed modeling software based on transformation rules. To verify code correctness and coverage, a homologous simulation verification method is adopted, which dynamically compares outputs between the generated code and control law models in the same environment with homologous inputs. Experimental results show that this method significantly improves software development efficiency and model coverage. After multiple rounds of verification and optimization, the coincidence rate between model and code can reach over 98%, proving its reliability in the field of critical flight control software code.