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 provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling, the most common, 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 powerful 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.
Founder & CEO