製品カタログイメージ

形式検証ツール SPARK Proel Debugger(ソフトウェア)

アイティアクセス株式会社
<製品の概要表>
項目 詳細
ロボットで主に使用する箇所 Simulink®モデル検証
認証取得
主な導入事例 お問い合わせください。
納期 お問い合わせください。
価格 お問い合わせください。
  • 納期・価格は随時変動していますので、詳細は『お問い合わせボタン』よりお問い合わせ下さい。
特長

『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語で、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。

実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。

  • 【機能】
  • ■データフロー解析
  • ■インフォメーションフロー解析
  • ■実行時例外の検出
  • ■プロパティチェック
  • ■レベル別検証
  • 詳細は、PDFダウンロード、もしくはお問い合わせよりご連絡ください。

  • お問い合わせで
    『ノイズ対策本』プレゼント!

企業情報

社名 アイティアクセス株式会社
所在地 〒222-0033 神奈川県横浜市港北区新横浜3-17-6
電話番号 045-474-9095
企業より

関連カタログ