DO-331とは、モデルベース開発や検証が、航空機搭載システムのソフトウェアライフサイクルの一部として使用された時に、DO-178CとDO-278Aに対する追加と修正を含む補足規定です。