一、引言随着航空领域技术的飞速发展，机载软件在航空器安全性和性能中的作用日益关键。为了确保机载软件的安全性和合规性，业界采用了多项标准来指导开发与验证工作。DO-178C是机载软件开发的主要标准，为了适应基于模型的软件开发需求，DO-331作为补充标准，提出了模型驱动开发