オンデマンド Web セミナー: PolySpace製品のご紹介 ~あなたのセーフティクリティカルコードにはいくつのエラーが残っていますか?~
この Web セミナーや他のオンデマンド Web セミナーをご覧いただくには、リクエスト フォームにご記入ください。
セーフティクリティカルなコードの信頼性にお悩みではありませんか?もし、そうならば本セミナーに参加してあなたのC,C++,もしくはAdaコードにエラーが無いかどうかを確認する方法を学んでください。マスワークスのコード検証ツールPolySpaceが、プログラム実行やコード実装あるいはテストケースを用いずにコンパイルの前にどのように実行時エラーを検出し、コードの正しさを証明するかをご覧いただけます。ソフトウェアの問題点の早期発見は、信頼性の向上のみならず、開発時間とコストの削減にも役立ちます。 PolySpaceにより、以下のようなことが可能となります。
- 実行時エラーが無いことの立証
- 直接コード内のソフトウェアエラーの特定
- 詳細かつ可視化されたコード診断情報の取得
- 認証および証明の簡略化 (FAA/DO-178B, MISRA, CMMI, FDA, IEC 61508, など)
対象製品
- Simulink
- Real-Time Workshop Embedded Coder
- PolySpace Model Link SL (for Simulink)
- PolySpace Client for C/C++
- PolySpace Server for C/C++
この Web セミナーの収録日: 2009年4月20日
再生時間: 36:00