製品概要

　モデル静的解析にて、標準的なモデリング規則を自動的にチェックし、違反の識別と修正を簡素化し、モデル品質指標を提供することで、検証プロセスを支援するツールです。

広範なルールチェックのサポート

  • モデル静的解析として、ソフトウェア品質を向上させるために、656の業界標準モデリングルールをサポートします。

違反の検出と自動修正

  • モデル内の違反箇所の識別を簡素化する、使いやすい違反トラッキングウィンドウを提供します。
  • ワンクリックで簡単かつ迅速に自動修正できます。
製品紹介

競合と差別化できる要因

  • 目的
    • 検出モデルはMBD（モデルベース設計）に基づいて開発されています。
  • パフォーマンス
    • より高速な検査速度
  • 利便性
    • 不適合や違反を追跡します
  • カスタムズ
    • カスタムルールおよびレポートに対応（別途ご相談ください）

製品の強み

  • ツールの品質
    • モデル静的解析における711の業界標準モデリングルールをご提供
    • 21のモデル品質指標をご提供
  • 国際認証
    • Cert. SGS TUVからの認証
    • ツール認定の提供
  • ツールの統合
    • Suresoft社各種ツール間の統合
    • 品質自動化システムの構築
  • 柔軟性
    • 独自で製品の開発、および製品のご提供
    • 自社のビジネスに適した独自のルールセットを構築

想定される導入メリット

  • モデルアルゴリズムを簡単に理解
  • モデリング効率の向上
  • モデルテストの改善
  • コード生成を容易に
  • ユーザー中心のインタラクティブなインターフェースを提供
  • チームでの協力、開発、テスト

モデル静的検証プロセス

  • 検証するモデルとルールを選択します
    • 複数ルール検出のためのモデルをサポート
    • ルールの説明とエラーの例を提供
  • モデルルール違反の検査
    • サブシステムのローカル検査の実施が可能
    • モデル変更の認識サポート
  • 結果を確認し、修正を行う
    • 違反の理由と修正のための提案を提供
    • モデルの品質指標を提供
主な特徴

01. モデル静的解析における自動ルール検出

  • ワンクリックでルールを自動的にチェックし、パフォーマンスを迅速に確認
    • モデル、ルール選択および検出
      • 対象モデルと検出するルールを選択
      • テストを実行
    • テスト結果の確認
      • 違反の原因および内容を確認
      • モデルを修正
  • プロジェクトごとにモデル、ルール、チェック結果を管理
    • 結果レポートの生成
      • HTML/Excel/PDF/Word形式に対応
      • レポートリンクのサポート

02. モデル静的解析におけるダッシュボード

  • 履歴機能を用いて、チェックするルールを記録し、分析結果を測定
    • 各バッチの分析結果のトレンド記録を表示
    • モデルチェック結果を検証
    • ルールとモデルを一つずつ検証
    • モデル品質指標の分析結果を検証

03. 検出プロセス - 履歴ラベル

  • テスターAは、開発者から提供されたレポートに基づいて改善を行い、テスターBは、開発者とテスターAの両方に基づいて改善を行う
    • 履歴トグル用のウィンドウを提供
      • 検査プロセスの記録を開発およびテスト
    • モデル、オペレーター、指示の操作
      • 各修正に対して修正者と指示を記入 
  • 違反の傾向、差分検査ルール、およびモデル固有の違反指標情報を閲覧可能
    • ルールチェックダッシュボード
      • 履歴比較ダッシュボード

04. ほとんどのルールをサポート

  • 656の業界標準モデリングルールをサポート
  • MAAB、MISRA AC SLSF、MISRA AC TLなどの業界標準モデリングルールをサポート
  • 安全なモデリングルールをサポート
モデル

05. 違反ガイドラインと検索

  • 違反の理由と修正提案、および修正されたルールの説明をご提供
  • モデルがルールに違反している場所を追跡するための便利な違反ナビゲーションウィンドウをご提供

06. 自動モデル修正

  • ワンクリックで簡単かつ迅速に自動修正
  • 違反修正提案に従って、修正を行う
  • ブロックおよびモデルのプロパティを自動的に変更（例：なし→警告/エラー、背景、モジュール名、表示、形状など）

07. モデル品質指標

  • 21のモデル品質メトリクスをご提供
  • メトリクスの説明に関するヘルプ情報をご提供

08. ユーザールールの追加、自動修正、品質マトリックスのご提供

  • 定期および自動修復機能を追加
  • モデル品質メトリクスを追加
対応可能なソフトウェア環境
項目詳細
対応モデル-Simulink version 2011b or above
-TargetLink version 3.3 or higher
オペレーティングシステム- Windows 7 +
UI言語英語・韓国語
推奨ハードウェア
稼働設備CPURAMHDD
パソコンDual Core 2GHz or more2GB or more50 GB
モデル
製品の利用シーン

違反ガイドラインと検索

モデル

自動モデル修正

モデル静的解析
モデル静的解析
製品の導入事例
Huawei  -- 新エネルギー車モデルの品質管理におけるアプリケーション
モデル静的解析
製品のお問合せ

外部製品紹介リンク