業界規格
做- 254
做- 254規格は,航空システムで使用するハードウェアを認定するための一連の目標を定義しています。この規格は,飛行ソフトウェア認定の同等の規格である做- 178に基づいてモデル化されています。做- 178と同様に、DO-254 の目標を達成するには次のようないくつかのプロセスが必要になるため、時間とコストがかかることがあります。
- 要件の管理とトレース
- 設計規格への準拠
- 確認と検証
モデルベースデザインを用いることで,エンジニアは,コスト削減と開発期間短縮の利点を実現した上で,要件の早期検証,要件への自動リンク,モデルとコードの規格チェック,コード生成,レポートアーティファクトの生成,およびテストケースの再利用により,做- 254の目標を達成することができます。
MATLAB®、金宝app®,および高密度脂蛋白编码器™は,- 254に対応するモデルベースデザイン(MBD,モデルベース開発)に関係する主な開発作業をサポートしています。
重要な検証タスクをサポートするその他の製品
- 金宝app仿真软件需求™を使用すると,金宝app模型内での要件の作成,解析,管理ができます。金宝app模型检查™は,開発中の標準およびガイドライン違反を特定するための,業界認定のチェックやメトリクスを提供します。金宝app仿真软件测试™と金宝app仿真软件覆盖™は,モデルカバレッジ解析などのモデル検証を実施します。
- 高密度脂蛋白校验™は,高密度脂蛋白シミュレーターとFPGAハードウェアインザループを使用してVerilog®および硬件描述语言(VHDL)®コードを検証します。
- 金宝app仿真软件报告生成器™は,モデルとテスト結果を文書化します。
- 做资格工具包は,モデルベースデザインで用いる上記の検証ツールおよびその他の検証ツールのツール検定を有効にします。