MSC Tracer

PragmaDev MSC tracer is a graphical tracing tool based on ITU-T Message Sequence Chart and on OMG UML2.0 Sequence Diagram standards. It allows to trace on-line or off-line your target behavior with a standard graphical representation.

The MSC Tracer can run with an Real Time Developer Studio license or a cheap dedicated MSC Tracer license. A free MSC Tracer version is also available that runs without any license in which the diagrams can not be saved.

Real Time Developer Studio

Real Time Developer Studio G3 is a tool dedicated to the modeling of real time and embedded software. It is suited for all applications running on top of a Real Time Operating System and covers requirements, specification, design, and debug on target. Its main benefits are:

• Increased quality by a ratio of 5,
• Reduced development time by an average of 35%,
• Self documented application,
• Portable applications from one RTOS to another,
• Model checking capabilities,
• Traceability information.

Its pragmatic approach and low price make it easy to use and guarantees a quick return on investment.