航空宇宙システムのフラ▪▪トコ▪▪ドの生成
フライトコードの生成では,列線交換可能ユニット(LRU)に組み込まれる,高品質でわかりやすく説明されたコードにモデルを自動的に変換します。これにより,航空宇宙企業は,コド1行当たり40%の削減、フラ@ @トソフトウェアのシックスシグマ品質の実現,および自動操縦機能の一度での稼働などを達成しています。
既にLRUでは,嵌入式编码器®を使用して自動生成された何百万行ものフラ▪▪トコ▪▪ドが使用されています。MathWorksは、メーカーの次のような用途に対応する先進技術の開発に引き続き取り組んでいきます。
- ソフトウェアア,キテクチャと設計
- フラ▪▪トコ▪▪ドの生成
- フラ▪▪トコ▪ドの検証(ソフトウェア▪▪ンザル▪プおよびプロセッサ▪▪ンザル▪プテストを含む)
- Do-178認定
“当社は,ARP4754の要件を客観的かつ着実に確立できるように,仿金宝app真软件のシステム設計モデルを使用しています。モデルを做- 178のソフトウェア設計モデルの基礎として使用し,そこからフライトコードを生成して,ソフトウェア検証に妥当性確認テストを再利用することで,時間を短縮しています。」
罗纳德·布朗鲁,空中客车直升机公司
ソフトウェアア,キテクチャと設計
金宝app®および状态流®は,アビオニクス,gn&c,推進システム,レ,ダ,およびその他の航空宇宙システムの設計の開発に適しています。静的なダ▪▪▪▪アグラムの代わりに実行可能な仕様書を使用することで,設計に要する時間を短縮し,早い段階で検証と妥当性確認を行うことが可能になります。系统作曲家™および金宝app仿真软件需求™を使用すると,ア,キテクチャモデルを作成して要件をトレ,スできます。
フラ▪▪トコ▪▪ドの生成と統合
フラ▪▪トコ▪▪ドの検証
金宝appSimulink Code Inspector™は,構造同値解析を実行し,モデルとその生成コードを含むトレーサビリティレポートを生成することで,安全規格のソースコードのレビューを自動化します。
コードを実行してコードの結果と参照モデルの動作を自動的に比較するフライトコード検証には,ソフトウェアインザループ(银),プロセッサインザループ(公益诉讼),およびハドウェアンザルプ(hil)テストが不可欠です。Pilテスト環境の作成は,嵌入式编码器またはプロセッサボ,ドとの直接接続の使用時にサポ,トされます。金宝app仿真软件测试™を使用して,テストおよびテストス。トの作成,実行,検討,整理を行うことができます。金宝app仿真软件覆盖™を使用すると,生成されたコ,ドの構造カバレッジを計算してテストの網羅率を測定できます。
Do-178b認定
Do-178は航空宇宙ソフトウェア用の主要な安全規格です。MathWorksのDO-178サポ,トは,DO资格套件で提供されています。金宝app仿真软件代码检查员などの適合ツールを使用してモデルとコードを検証することにより,適格なコードを生成のワークフローを実行できるようになります。