MathWorksは,释放2012 b (R2012b)以降で做资格工具包を使用する場合,- 331 - 178 - cと做を含む補足規定に対し,金宝appおよびPolyspace検証ツールが適格であることを証明できるようになったことを発表しました。この做- 178 cのサポートによって,プログラムマネージャーや認証機関は,モデルベースデザイン(モデルベース開発,MBD)の採用とより迅速な組み込みシステム認定のための標準化されたグローバルな手法とフレームワークを活用できるようになります。
水平FAA软件DERの史蒂夫·莫顿氏は次のように述べています。“航空機メーカーとサプライヤーは,- 331 - 178 - cと做を使用してモデルベースデザインの生産性,コスト,適合性の証明といったメリットを享受でき,システムが確実に認定を受けられるという安心感を得ることができます。做资格工具包で説明されている検証ワークフローは、業界のベスト プラクティスや FAA ソフトウェア認定コミュニティの期待と合致するもので、検証の独立性、実行可能なオブジェクト コードの検証、および自動生成されたコードの構造カバレッジの解析を備えています。」
R2012bの做资格工具包では,以下の做- 178 cの補足規定に対しても仿真软件およびPolyspace製品を金宝appサポートしています。
- 做- 330ソフトウェアツールの適格性の証明に関する考慮事項吗
- 做- 331モデルベースの開発と検証吗
- 做- 332オブジェクト指向テクノロジーと関連手法
- 做- 333形式的手法
做资格工具包には,航空規格を満たす必要のあるプロジェクトのために,サポートされている仿金宝app真软件およびPolyspaceのソフトウェア検証ツールが適格であることを証明するためのドキュメント,テストケース,および手順が用意されています。また同キットには,ツールの適合性証明の計画,ツールの動作要件,ならびにソフトウェア検証ツールの適合性を証明するために必要なその他の資料(条件2および3)が含まれています。
做资格工具包の強化は,做- 178プロセス導入アドバイザリサービス吗を含む既存のMathWorksの做- 178機能に基づいています。2012年に導入されたこのアドバイザリサービスでは,做- 178規格に関する航空宇宙分野のエンジニアの教育,現在のプロセスとのギャップの特定,モデルベースデザインを使用した,より最適化された- 178プロセスへのロードマップの提供,ならびにこのロードマップの導入の支援を提供しています。
無料のWebセミナー”基于模型的DO-178设计使用工具鉴定套件(ツール適合性証明キットを使用した做- 178に準拠するモデルベースデザイン)“に参加して,做资格工具包がソフトウェア開発/検証の完全なライフサイクルをどのようにサポートするかについてご覧ください。
做资格工具包R2012bはすぐに入手可能です。詳細については,製品Webサイトmathworks.com/下载188bet金宝搏products/do-178/をご覧ください。