|
|
Modeling
|
Real Time Developer Studio is a modeling tool for real time and embedded
software. It is suited for any communicating systems or any application running on top of a Real Time Operating System.
It covers requirements, specification, prototyping, design, debug on target, and testing. 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.

Click here to get the brochure
More info...
|
|
|
Tracing
|
PragmaDev MSC tracer is a graphical tracing tool based on international standards.
It allows to trace on-line or off-line your target behavior with a standard graphical representation.
The current MSC Tracer version is free of charge.

Click here to get the brochure
|
Testing
|
International unique testing standard TTCN-3 is a full part of PragmaDev Real Time Developer Studio.
With its unique testing capabilities such as templates, alternatives, and parallel test components,
TTCN-3 will ease unit testing and validation testing of your system. Last but not least, TTCN
support in RTDS will allow testing of the model independantly of any target. RTDS offers
validation of the top of the V cycle before having to deal with implementation.
|
|