横河ディジタルコンピュータ、静的解析ツール「TCS　ECA」を販売開始

タタコンサルタンシーサービシズ社が開発した静的解析ツール
『TCS　Embedded　Code　Analyzer（TCS　ECA）』の販売を開始します


　横河ディジタルコンピュータ株式会社（本社：東京都武蔵野市、代表取締役社長　古田　豊彦）は、ソフトウェアの静的解析とMISRA−C、ISO２６２６２および、形式手法（フォーマルメソッド）を用いた高度なデータフロー解析を実現する『TCS　ECA』の販売、サポートを開始致します。

　本製品は、タタコンサルタンシーサービシズ社（本社：インド　ムンバイ）が日本の自動車メーカー様と共同開発した製品であり、自動車ソフトウェアに関する国際機能安全規格に準じたソースコード検証をサポートします。
　自動車分野で注目されている「機能安全」は、医療機器、ロボット、FA、輸送機器等幅広い分野で重要なキーワードとなっています。本製品は、自動車分野のソフトウェア開発で蓄積された高度な品質検証ノウハウを、幅広い分野に応用する機会を与えるものであり、お客様の製品開発に必ず貢献できると確信しています。


■TCS　ECAの主な特長
　・車載ソフトウェアを開発しているお客様からの要求によって開発された静的解析ツール
　・高い信頼性や安全性が求められるソフトウェアの開発に貢献
　・１０００万行以上の大規模ソフトウェアの解析が可能
　・機能安全規格に対応したコーディングルールチェックをサポート
　・形式手法の採用により高度なエラー検出を実現


■TCS　ECAの主な機能
　・MISRA　Cコーディングルールチェック
　・ASIL−A〜ASIL−Dまでの４つのレベルで分類されたコーディングルールを用意しISO２６２６２への適合性をレポート
　・コードに不具合がないことを数学的に証明し、安全なコードであることをレポート
　・テストケースを作成することなく、実行時エラーをコーディングフェーズで発見可能
　　演算妥当性検証、未実行コード検出、バッファーオーバーラン検出、スタックオーバーフロー検出など
　・車載ソフトウェア、組込みソフトウェア開発オリジナルの機能
　　古い値を保ったままの状態変数が誤って使われるケースの発見
　　多重書き込み、読み出しのみ、書き込みのみ、あるいは使用されない変数をチェックする機能

　※参考画像は添付の関連資料を参照


■TCS　ECAの動作環境
　・Windows　XP　SP３
　・Windows　７（３２bit）


　『TCS　ECA』の詳細は、こちらをご覧ください。
　http://www2.yokogawa-digital.com/product/eca/static.html


＜横河ディジタルコンピュータ株式会社概要＞
　横河ディジタルコンピュータ株式会社（本社：東京都武蔵野市中町２−９−３２、代表取締役社長　古田豊彦）は、マイクロコンピュータや周辺システムの設計、開発に広く関わる事業を展開してまいりました。特にインサーキットエミュレータ（ICE）分野では、「adviceLUNA」が国内販売台数シェアトップレベルの実績を有し、自動車、産業機器、携帯電話、情報家電など最先端の開発現場で数多く使用していただいております。また、Windows　Embedded　CEなどの開発キット、組込み開発分野における開発プロジェクトのプロセス改善コンサルティングやツールの提供にも力を入れており、組込み分野を熟知している当社の経験や知識を活かした理想的な開発環境として提供しています。（http://www.yokogawa-digital.com/）


［お客様からのお問い合わせ先］
　横河ディジタルコンピュータ株式会社　エンベデッドプロダクト事業統括本部
　〒１８０−８７５０　東京都武蔵野市中町２−９−３２
　TEL：０４２２−５２−２１７３
　FAX：０４２２−５２−５２０４
　E−mail：info-advice@yokogawa-digital.com