Statemate MAGNUM and Rhapsody in MicroC(RiMC)

Statemate MAGNUM, offered by I-Logix in the United States, is an upstream CASE
tool for the design and testing of product specifications.
It features high descriptive capability and enables the simulation of a specification model for which the specifications are still incomplete.
Follwing the confirmation of operation, it can generate a C Code able to achieve the same operation as the spacifications, and can also execute the C Code on a prototype for verification purposes.
Statemate MAGNUM describes the static structure of a control system using an activity chart, which is an extended version of a data flow-chart, and describes the system operation using a state-chart.
A state-chart is an extended state-transition chart that enables the hierarchical deployment of the state, the expression of parallelism, and the expression of time, allowing complex system operations to be described easily.
Rhapsody in MicroC(RiMC) is a CASE tool that is used in a downstream stage of Statemate MAGNUM, and that automatically generates C code from a state-chart
(state-transition chart).
It is microprocessor-executable and is of a size and speed suitable for use in mass-produceed products.

Development of packaged software through the linking of RiMC and SOFTUNE

RiMC enables the direct import of Statemate MAGNUM data.
When the target environment is OSEK or other RTOS, RiMC is used to set the attributes of RTOS resources, such as the tasks and semaphores(resources) to be packaged.
RiMC can also gererate code for the target without an RTOS. Futhermore, it can
set microprocessor-dependent attributes such as the information on I/O ports used.
RiMC then automatically generates a C code, which the SOFTUNE simulator/ICE can use for the verification of software/hardware operation.
During this simulation and testing, the SOFTUNE-RiMC connection function graphically displays on the original state-transition chart, thus enabling the efficient performance of debugging work.