業界規格

英国における航空宇宙および防衛 - 高信頼性システム

DO-178B規格はほとんどのソフトウェアが手動でコーディングされていた時期に発行されました。しかしこの規格は自動コード生成と、MATLAB、金宝app、状态流、嵌入式编码器、およびDO资格鉴定套件などのモデルベースデザイン（MBD）モデルベース開発）用製品に適用できます。

英国の数学作品航空宇宙および防衛業界ワーキンググループには、空客运营有限公司、BAE系统有限公司、MBDA英国有限公司、Selex伽利略有限公司などが参加しています。このグループは、高信頼性システムとソフトウェアの開発にモデルベースデザインを適用するガイダンスを提供する、次のドキュメントを発表しました。

DO-178B準拠プロセスへの数学作品製品導入ガイドライン

ガイドラインに含まれる資料は、最近発表された補足規格である DO-331（DO-178Cおよび DO-278Aを補足するモデルベースの開発と検証) および更新規格の DO-178Cに対応しています。、