業界規格
做- 178 cと関連規格
- 178 cは做- 178 b規格のアップデートであり,現在の業界における開発および検証での実践に即した,モデルベースの開発と検証(- 331)および形式的手法(- 333)の補足が含まれています。ツール検定は做- 330で対応しています。
MATLABと万博1manbetxは,以下の図やこのビデオシリーズでも説明されているとおり, - 178 cに対応するモデルベースデザイン(MBD,モデルベース開発)をサポートしています。
“万博1manbetx仿真软件を使用したモデリングは,チームのARP 4754の作業に役立ちます。特に,システムレベルの要件の検証,要件ベースでのテストの開発,サプライヤーが仿万博1manbetx真软件と嵌入式编码器を使用して做- 178レベル一フライトコードを生成する際に使用する低レベルのソフトウェア要件の定義に役立ちます。」
巴西航空工业公司的罗德里戈·丰特斯·索托(Rodrigo Fontes Souto)
MATLABおよび仿真万博1manbetx软件での做- 178規格
製品
- 検定モデル検証向け万博1manbetx、万博1manbetx仿真软件测试、万博1manbetx仿真软件检查,および万博1manbetx仿真软件覆盖
- 検定コード生成向け嵌入式编码器および万博1manbetx仿真软件代码检查器
- 検定形式検証向けPolyspace错误发现者およびPolyspace代码验证
- 検定テスト生成向け万博1manbetx仿真软件设计验证器および万博1manbetx仿真软件覆盖
- 検定ソフトウェアテスト向け万博1manbetx仿真软件测试
- 検定コードカバレッジ解析向け万博1manbetx仿真软件覆盖
- トレーサビリティとドキュメンテーション向け万博1manbetx仿真软件的需求および万博1manbetx仿真软件报告生成器
- ツール検定向け做资格工具包
サービス
ビデオ、Webセミナー,およびデモ
- 編集時チェックにより準拠性の問題を早期に発見(一28)
- 做- 178 c開発プロセスにおける認定ツールの使用吗(11ビデオ)
- 做- 178フライトソフトウェア開発向け仿真万博1manbetx软件(35:24)
- MathWorksツールを用いた做- 178 cソフトウェア開発向けモデルベースデザイン(9ビデオ)
- 国防部および- 178 c(7:01)
- 做- 178ケーススタディ吗(文件交换)
MATLABおよび仿真万博1manbetx软件製品ファミリがサポートする関連規格
- - 178 c,航空システムと機器の認定におけるソフトウェアの検討事項吗
- - 278 a,通信,航法,監視/航空交通管理(CNS / ATM)システムソフトウェアにおける整合性保証のガイドライン吗
- - 248 c,做- 178 cおよび做- 278 aのサポート情報吗
- - 330,ソフトウェアツールの適格性の証明に関する考慮事項吗
- - 331, - 178 c做および做- 278 aを補足するモデルベースの開発と検証吗
- - 332, - 178 c做および做- 278 aを補足するオブジェクト指向テクノロジーと関連手法
- - 333, - 178 c做および做- 278 aを補足する形式的手法
プレス
ユーザー事例
- 莱昂纳多がレーダー航法ソフトウェアの開発と做- 178 cへの準拠を加速
- 500年巴西航空工业公司,レガシー飛行制御システムの要件エンジニアリングとプロトタイピングを加速
- 贝尔直升机,世界初の商業用フライバイワイヤヘリコプターを開発
- BAE系统公司、モデルベースデザインにより做- 178 bレベル一飛行ソフトウェアをオンスケジュールで納品
- 以色列航空工业,- 178 BレベルB認定の電気ハイブリッド航空機牽引車向けソフトウェアを開発
- 阿莱尼亚·马基公司,做- 178 bレベル一認証取得に向けて自動操縦ソフトウェアを開発
- 国家航天实验室,做- 178 b飛行ソフトウェア開発でのモデルベースデザインの利点を実証
- 空客直升机,做- 178 b認定ソフトウェアの開発をモデルベースデザインで加速
- 空客モデルベースデザインを用いてA380向け燃料管理システムを開発
- 霍尼韦尔,設計時間を60%短縮
- 韩国航空航天工业、做- 178 c規格に準拠したヘリコプター用アクティブ振動制御システムソフトウェアを開発
- 劳斯莱斯:モデルベースの製品ラインにおける取り組み