1. ホーム
  2. 製品情報
製品情報

キャッツの開発支援ツールは、品質、信頼性を重視する電力制御のソフトウェア開発で自ら生み出したZIPC をはじめとして、日本の組込みソフトウェア開発の現場から生まれました。
ツールのベースとなっている拡張階層化状態遷移表設計手法(EHSTM)を持っていることも支持されている理由のひとつです。

業界で製品を探す

開発プロセスで製品を探す

Requirement

Management

製品名一覧

ZIPC Designer

状態遷移表をベースとした、組込み向け CASE ツールのデファクトスタンダード

ZIPC Feature

多品種向けソフトウェア開発の効率と品質を向上する要件モデリングツール

ZIPC TERAS

既存の資産/環境を変えずに成果物間のトレーサビリティを確保

UPPAAL

リアルタイムシステムの妥当性確認と検証の統合環境

ZIPC++

ZIPCにUMLを取り入れた、オブジェクト指向型組込みシステム向けCASEツール

MZシリーズ

物理システムモデルと状態遷移モデルの融合で幅広いモデリング/シミュレーションを実現

Perfect Pass

状態遷移モデルからの試験項目自動抽出ツール

ASN.1 Tool

組込みシステムへのASN.1プロトコル実装を支援し、品質と生産性の向上を実現

CoreRA(コアラ)

シングルコアで動作したログ情報からマルチコア環境におけるタスクの最適なコア配置を解析

ZIPC Tester

“たいへんなテスト” を効率化するためのテストシナリオ自動生成ツール

ZIPC FOT

Pairwise(ペアワイズ)法 テスト設計支援/テストケース自動生成ツール

ZIPC Lian (PDF)

短期かつ低コストによるテスティングを実現するWeb/Nativeテスト自動化ツール

PAT Pro

CSPベースのマルチドメインモデル検査ツール

ZIPC AUTOSAR

AUTOSAR準拠システムの開発をサポートするモデリングツール

State-Model Converter

ZIPC と Stateflow® の双方向変換で、組込み・制御システム開発を進化する

Drawrial

画面遷移図を記述するだけでドキュメントを自動生成できるHMI仕様書作成ツール

XModelink series

SystemC言語によるシステムLSI仕様合成ツール群

Garakabu2

ZIPCで書かれた状態遷移表を検証するモデル検査ツール

取扱代理店製品

Maplesoft

ハードウェア製品については右記リンクよりご覧ください。→ システム事業本部 機器事業所WEBサイト

↑ページTOPへ