ZIPC from CATS is a CASE tool based on a state transition matrix targeting embedded applications. Use of a state transition matrix for design and simulation helps prevent specification oversights. ZIPC provides an automatic code generation capability; it allows you to generate MISRA-C-compliant reliable source code from a state transition matrix that represents your design requirements. Additionally, using ZIPC in tandem with the Toshiba Integrated Development Environment, TIDE, allows target debugging while viewing the state transition matrix. This greatly improves development productivity and quality.
Upstream design tool