做- 178認証アドバイザリサービス吗

做- 178認証サービスは,長年にわたって航空宇宙業界のお客様の高信頼性ソフトウェアの開発を支援してきたMathWorksの上級コンサルタントが担当します。MathWorks咨询服务では、よくある誤りを避け、DO-178 の目標を満たす高信頼性ソフトウェアを開発する時間、労力、コストを削減できるように支援します。

MathWorks咨询服务によるサポートの内容:

做- 178に準拠するための主な作業の実行吗

• 要求仕様のトレーサビリティ
• 要求仕様に基づくモデルのテストとカバレッジ
• 金宝appAdvisor仿真软件模型を使用したモデルの標準のチェック
• 金宝app仿真软件代码检查员™およびPolyspace^®を使用したコードのレビュー,トレーサビリティ,解析
• 金宝app仿真软件设计校验™を使用したテストケースの生成と設計の解析
• 嵌入式编码器^®を使用したツールの設定とコード生成
• プロセッサインザループを使用したターゲットでのアルゴリズムのテスト(MC / DCなどのコードカバレッジ解析を含む)
• 做资格工具包(- 178用)を使用したツール認証
• 做- 178に準拠するために必要な工程成果物の生成吗

計画と実行

• 既存のソフトウェア開発プロセスの変換と効率の改善
• 効率を高めるための段階的なアプローチの特定と実行

チームのトレーニング

• 做- 178とその補足規定の目標を達成するためにモデルベースデザイン(モデルベース開発,MBD)を適用して最大限に活用する方法の習得吗
• モデルベースデザイン(モデルベース開発,MBD)に独自に取り組むための基本的な専門知識の習得

次のステップ

做- 178のワークフローにおいてモデルベースデザイン(モデルベース開発,MBD)に基づく最適化されたソフトウェア開発プロセスに移行する方法は,それぞれの企業や用途によって異なります。MathWorks咨询服务では,製品の専門知識と業界での経験に基づいて,お客様のニーズに最も適したプロセスを提案します。これには次のようなステップが含まれます。

• 既存のプロセスとツールの評価——MathWorksのコンサルタントがソフトウェア開発の既存のプロセス,ツール,アプリケーション,必要とされる安全レベル(~ E),ツール認証を含む計画文書を見直します。
• ギャップ解析——MathWorksのコンサルタントがギャップ解析を行い,モデルベースデザイン(モデルベース開発,MBD)を使用した做- 178プロセスフレームワークへの移行に向けた現在の課題,プロセス効率化のための改善点,必要なトレーニング,その他の推奨事項を特定します。さらに,推奨される改善を達成するための段階的なアプローチを含む実用的なロードマップを開発します。
• 知識の継承-做- 178およびその補足規定の目標を達成するために,モデルベースデザイン(モデルベース開発,MBD)とそれをサポートするツールチェーンをどのように適用すべきかについて,長年の経験から得られたベストプラクティスに基づいて提案します。これには,特定のツールの機能を使用して検証作業を実施する方法の説明や,優先度が高いトピックに関するより詳しい説明などが含まれます。
• 実践的な導入のサポート——MathWorksのコンサルタントが特定のプロジェクトへの推奨されるプロセスの実装をサポートします。モデル化,シミュレーション,コード生成,検証,做资格工具包のカスタマイズ,認定などの作業を支援します。做资格工具包のカスタマイズには、モデルベースデザイン (モデルベース開発、MBD)の使用や DO-178 ツール認証の成果物の生成に関する作業計画文書 (PSAC など) の準備も含まれます。

具体的な要件については,MathWorks咨询服务までご相談ください。

関連する会議論文および技術資料