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.
|
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.
|