PragmaDev is a privately held company based in Paris France that provides a set of modeling tools for the prototyping, the development, and the test of real time and embedded software called "Real Time Developer Studio" and "PragmaDev Tracer".
Real Time Developer Studio provides three levels of modeling: informal, semi-formal, and fully formal modeling. While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test of the model.