Japan 日本語
富士設備工業株式会社
このパートナー社の会社情報（アライアンスパートナープログラム）
XJTAG バウンダリスキャンテストツール
単体テスト・カバレッジ解析・MISRA・要件トレーサビリティ：LDRA
形式検証・テスト自動生成：T-VEC TTM ＆ Simulink Tester
ソフトウエアプロダクトライン開発 バリアント管理支援：pure::variants
ドメインスペシフィックモデリング・コード自動生成：MetaEdit+
問合せ先
XJTAG バウンダリスキャンテストツール
BGA搭載基板などのデバッグ・実装検査・不良解析に活用される XJTAG は IEEE 1149.1及び1149.6 のJTAGバウンダリスキャン・スタンダードに準拠。テスト結果は、ODB++ から抽出されたレイアウト設計データ上に表示して視覚的に解析できます。
従来製品に無かった XJTAGの特徴は、デバイスごとにテストをライブラリ（部品）化してプログラム開発の抽象度を上げたことです。そのため実装テスト・機能テストプログラムの開発や再利用が簡単になり短期間で使いこなせるようになりました。
- テストプログラムはデバイスごとのライブラリをGUIで登録して簡単に構築
- 簡単なので設計時にテストプログラムからカバレッジを解析し、設計を早期改善
- そして基板が上がればターゲットへのプログラミング無しにデバッグ・テストを直ちに開始
- 設計変更に伴うプログラムの修正はテストライブラリの再利用で容易
体験版とセットアップが無料：BGA搭載など、あらゆる基板の設計・デバッグから量産検査・不良品解析に活用できることを証明するために、セットアップも含めた無料体験版を提供しています。
主な対応デバイス
| 8,16bit 超低消費電力マイコン | RL78 | ― |
| 78K0 | ― | |
| R8C | ― | |
| 16,32bit CISCマイコン | RX | ○ |
| 78K0R | ― | |
| 32bit RISCマイコン | V850 | ○ |
| SuperH | ○ | |
| SoC | R-Mobile | ― |
| R-Car | ― | |
| R-Home | ― |
対応デバイスに関する詳細はパートナー各社までお問合せください。
動作環境
Windows® 7, Vista, XP, 2000, NT
単体テスト・カバレッジ解析・MISRA・要件トレーサビリティ：LDRA
IEC 61508 やDO-178B など国際標準の認証取得に活用される LDRAテストツールは、静的解析・単体テスト・カバレッジ解析・要件トレーサビリティ機能を融合して、開発プロセスのあらゆるフェーズの検証作業とエビデンス作成の自動化を支援します。
- あらゆるコンパイラ・実行環境に対応
- 静的解析、テストドライバー生成機能、テスト管理機能の融合
- システムワイドにソースコードを可視化
- 動的解析結果をグラフィカル表示（コールグラフ、フローグラフ）
- IEC 61508、ISO 26262、DO-178B、MISRA、CERT あらゆるスタンダードに対応
- 静的解析に形式手法を活用
主な対応デバイス
| 8,16bit 超低消費電力マイコン | RL78 | ○ |
| 78K0 | ○ | |
| R8C | ○ | |
| 16,32bit CISCマイコン | RX | ○ |
| 78K0R | ○ | |
| 32bit RISCマイコン | V850 | ○ |
| SuperH | ○ | |
| SoC | R-Mobile | ― |
| R-Car | ― | |
| R-Home | ― |
対応デバイスに関する詳細はパートナー各社までお問合せください。
動作環境
Windows® 7, Vista, XP, 2000, NT
形式検証・テスト自動生成：T-VEC TTM ＆ Simulink Tester
形式手法（フォーマルメソッド）を活用し、要求仕様モデル（TTM）やデザインモデル（TTM あるいは Simulink/Stateflow）の定理証明とテストベクタ自動生成を両立することで、高信頼性だけではなく工数削減にも役立てられる実践的な形式検証ツールです。
- 表形式で簡単に仕様・設計をモデル化（TTM）
- Simulink/Stateflow もサポート
- 形式手法でモデルを定理証明
- 重複、コンストレインツ（制約条件）の矛盾、満たされないガード条件
- ゼロ割、違法操作（負の値に対する平方根など）
- 出力レンジオーバーフロー
- 検査の成果物としてテストベクタ自動生成
- 要件～テストに至るトレーサビリティ、要件ベースのカバレッジ
- 単体・統合・システムテストをサポート（MC/DCカバレッジレベル）
- あらゆるコード・実行環境（ターゲット、シミュレーション）用ドライバーを自動生成
- ドライバー生成スクリプトは再利用（モデルとコードのインターフェイスマッピング）
主な対応デバイス
| 8,16bit 超低消費電力マイコン | RL78 | ○ |
| 78K0 | ○ | |
| R8C | ○ | |
| 16,32bit CISCマイコン | RX | ○ |
| 78K0R | ○ | |
| 32bit RISCマイコン | V850 | ○ |
| SuperH | ○ | |
| SoC | R-Mobile | ― |
| R-Car | ― | |
| R-Home | ― | |
対応デバイスに関する詳細はパートナー各社までお問合せください。
動作環境
Windows® 7, Vista, XP, 2000, NT
ソフトウエアプロダクトライン開発 バリアント管理支援：pure::variants
ソフトウエアプロダクトライン開発を実践的に取組むために欠かせない、柔軟かつイテレーティブなバリアント管理が出来るツールです。
- 問題/解決空間の両モデルで関係性を管理
- 機能間の矛盾、不一致を自動検出（形式手法の活用）
- 低い導入障壁：ツールに合わせる必要が無い
- 既存資産、ファイルシステム構造を変えることなく導入できる
- 製品バリアントは制約無しに自在に生成できる
- 複数のバリアントを同時に生成できる
- ファイル構造の仕組みに非依存で、コア資産を完全に独立した部品として管理
- クライアント/サーバアーキテクチャ： マルチユーザで大規模システムにもフィット
- Eclipse ベース： あらゆるツールと統合（要件管理・UML・Simulink・構成管理・変更管理・バグ管理など）
- 派生開発（差分開発）を支援：資産・プラットフォームなどの変更・修正・進化に順応できる
主な対応デバイス
| 8,16bit 超低消費電力マイコン | RL78 | ○ |
| 78K0 | ○ | |
| R8C | ○ | |
| 16,32bit CISCマイコン | RX | ○ |
| 78K0R | ○ | |
| 32bit RISCマイコン | V850 | ○ |
| SuperH | ○ | |
| SoC | R-Mobile | ― |
| R-Car | ― | |
| R-Home | ― | |
対応デバイスに関する詳細はパートナー各社までお問合せください。
動作環境
Windows® 7, Vista, XP, 2000, NT
ドメインスペシフィックモデリング・コード自動生成：MetaEdit+
MetaEdit+ を用いて開発したドメイン・スペシフィック モデリング言語 （Domain-Specific Modeling）なら、高い抽象度のモデルから完全なアプリケーションやデザインドキュメントなどを自動生成させることができます。
- メタモデリング統合環境
メタモデリング・モデリング・ジェネレータが完全に統合され、MetaEdit+ API は SOAP / Web Services / .NET を採用し既存ツールと連携 - ドメイン・スペシフィック モデリング言語の進化をサポート
DSM環境への修正・拡張が容易で、既存モデルは自動的にアップデートされ、破壊されない - マルチユーザ環境
異なるホストプラットフォーム、アクセス権限下でマルチユーザによるモデリングをサポート - ベンダーに固定されない
あらゆるモデル・メタモデルを自在にインポート・エクスポート - EAST-ADL、AUTOSAR、SysML などアーキテクチャ記述言語もサポート
主な対応デバイス
| 8,16bit 超低消費電力マイコン | RL78 | ○ |
| 78K0 | ○ | |
| R8C | ○ | |
| 16,32bit CISCマイコン | RX | ○ |
| 78K0R | ○ | |
| 32bit RISCマイコン | V850 | ○ |
| SuperH | ○ | |
| SoC | R-Mobile | ― |
| R-Car | ― | |
| R-Home | ― | |
対応デバイスに関する詳細はパートナー各社までお問合せください。
動作環境
Windows® 7, Vista, XP, 2000, NT
問合せ先
富士設備工業株式会社
TEL: 072-252-2128
info@fuji-setsu.co.jp
http://www.fuji-setsu.co.jp/