PragmaDev RTDS
PragmaDev is a privately held company based in Paris France that provides a set of modeling and testing tools for the development of real time and embedded software: "Real Time Developer Studio" and "MSC Tracer". Real Time Developer Studio a.k.a. RTDS targets development teams working on communicating systems looking for a formal modeling technology based on standard languages. The MSC Tracer is an on-line or off-line tracing tool generating live sequence diagrams.
Real Time Developer Studio provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling is mainly used for documentation; the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, test generation, and test of the model.
Technically speaking Real Time Developer Studio is a consistent integration of standards such as SDL, SDL-RT, UML, TTCN-3, ASN.1, and C/C++ editors. Models can be executed and verified with a built-in simulator and a third-party exhaustive simulator. Test cases can be generated from the model or from use cases and executed against the abstract model or its implementation. The tool can generate full C or C++ code including RTOS adaptation or a built-in scheduler. Its connection with cross debuggers allows graphical debugging in the model and generation of live graphical traces. The tool can also generate full documentation and connect to traceability tools.
Real Time Developer Studio provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling is mainly used for documentation; the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, test generation, and test of the model.
Technically speaking Real Time Developer Studio is a consistent integration of standards such as SDL, SDL-RT, UML, TTCN-3, ASN.1, and C/C++ editors. Models can be executed and verified with a built-in simulator and a third-party exhaustive simulator. Test cases can be generated from the model or from use cases and executed against the abstract model or its implementation. The tool can generate full C or C++ code including RTOS adaptation or a built-in scheduler. Its connection with cross debuggers allows graphical debugging in the model and generation of live graphical traces. The tool can also generate full documentation and connect to traceability tools.
Comments