CATS CO.,LTD.

出自CATS的ZIPC是一套以嵌入式应用为目标的基于状态转移矩阵的CASE工具。设计和模拟的状态转移矩阵的使用有助于防止规格书的疏忽。ZIPC提供代码自动生成能力；它使您能够从代表您设计要求的状态转移矩阵生成符合MISRA-C的可靠源代码。另外，与东芝集成开发环境（TIDE）同时使用ZIPC将允许在目标调试的同时查看状态转移矩阵时。这就大大提高了开发生产力和质量。