1. 横河ディジタルコンピュータ ホーム > 
  2. 製品・サービス情報 > 
  3. タタ コンサルタンシー サービシズ社 静的解析ツール

タタコンサルタンシーサービシズ社 解析ツール

製品ラインナップ

  • TCS Embedded Code Analyzer(TCS ECA)
    タタコンサルタンシーサービシズ社製
     
    ソフトウェアの静的解析とMISRA-C、ISO26262および、形式手法(フォーマルメソッド)を用いた高度なデータフロー解析を実現
    •  車載ソフトウェアを開発しているお客様からの要求によって開発された静的解析ツール
    •  高い信頼性や安全性が求められるソフトウェアの開発に貢献
    •  1000万行以上の大規模ソフトウェアの解析が可能
    •  機能安全規格に対応したコーディングルールチェックをサポート
    •  形式手法の採用により高度なエラー検出を実現

    詳細ページ

    TCS ECA

ページの先頭へ