ZIPC by CATS Corporation Ltd.

Product Description

ZIPC is a designing tool well suitable for embedded systems,
its core concept is based on state transition matrix (STM).
Engineers can design their software without lack of
considerations against critical combinations of states and events of the system.

But the matrices tend to be huge where a whole features is described. ZIPC offers our patented methodology EHSTM (Extended and Hierarchized State Transition Matrix) to address it.
The hierarchized matrices can give a necessary and sufficient representation of system behaviors. And applying parallelization using an RTOS makes it more sophisticated.

ZIPC consists of not only a STM editor but also a code
generator and a simulator. STM models you designed can be
converted into source code in C language. Thus ZIPC ensures
consistency between models and source code.

The simulator enables you targetless debugging.
ZIPC runs on windows based computers. If you don't have any
target hardware works, the simulator supports not only
line-level debugging on source code but also cell-level
debugging on STMs, like cell-braking, cell-tracing,
logging and so on.

The simulator also supports VIP (Visual Interface
Prototype). By using VIP, virtual targets composed
by Microsoft Visual Basic can easily connect to ZIPC
simulator engine. You can do visual debugging without
actual targets.

ZIPC also supports verification of compiled modules
for a specific target. Many of our partners provide
debuggers which can connect to ZIPC. Those debuggers
enable ZIPC to show cell-level debugging as you do with
the simulator.

ZIPC is a powerful tool for software designing,
implementation and debugging, which frees engineers
from heavy labor and stupid bugs caused by line-by-line
coding and debugging.

(Japanese)
ZIPCは組み込みシステムに最適な設計ツールです。状態
遷移表設計の考えに基づいているので、漏れ・抜けなく
システムを設計することができます。しかし、状態遷移
表はシステムの振る舞いを全て記述したとき巨大になり
がちです。そこでCATSは「拡張階層化状態遷移表設計」
を提唱しました。階層化された状態遷移表はシステムを
必要十分に表現することができ、RTOSを使った並列化
により更に洗練されたものにすることができます。

ZIPCは状態遷移表のエディターだけではありません。
C言語のコード生成とシミュレーションも行うことができます。
よって、状態遷移表のモデルとソースコードの一貫性を
保証することができます。シミュレータはターゲットレ
スのデバッグを可能とし、ソースコード上での１行毎の
デバッグだけでなく、状態遷移表のセルレベルでのデバ
ッグも可能です。

また、パートナー各社からZIPC対応のデバッガがリリースされています。
デバッガとZIPCが連携することによって、ターゲット上でのデバッグに
おいてもシミュレーション時と同様にセルレベルでのデバッグが可能と
なります。

ZIPC

Market Segment(s)

• Embedded
• Mobile

Target Platform(s)

• ITRON
• Linux

ARM Processor(s)

• Cortex-A53
• Cortex-A57
• ARMv5
• ARMv8