DO-178C 規格は、ソフトウェアが航空機搭載システムでの使用認定を受けるための一連の目標を定義しています。この目標の達成を支援するPolyspaceコード検証ツールを用いることにより、コードの妥当性確認の自動化やテスト作業を軽減します。本セミナーでは業界特有の開発ガイドラインへの準拠について、事例やデモを交えてご紹介いたします。
セミナー内容
- 堅牢なコーディングと形式手法による安全性の証明
- Software Coding Phase での Verification
- CI環境で行う解析の自動化と結果の共有
- Polyspace導入サポートとライセンスモデル
開催要領
- 主催：MathWorks Japan/株式会社SClabAir
- 開催日時：2023年10月4日(水)14:00-15:30
- 開催場所：Webセミナー(Webex)
- 予定参加者数：70名程度
- 参加条件：
制限なし
申し込み方法
以下のURLより参加の申し込みをお願い致します。(Googleフォームを使用しております)
https://forms.gle/dRbvHXNXDC6Egr3b6
企業のセキュリティポリシーの関係でGoogleフォームにアクセスできない方は、お手数ですが、以下のメールアドレスまで参加申し込みをお送りください。
certcasofficial(アットマーク)aida.or.jp
