In a few words

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 "MSC Tracer".

Real Time Developer Studio targets all development teams working on communicating systems with a unique combination of standard languages. The MSC Tracer is an on-line or off-line tracing tool generating live sequence diagrams.

Would you have an issue to understand what your client is expecting from you, to define a proper software architecture, to test without a target, or to document your design, you should move to model driven engineering.

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.

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel, Thomson, the French Army, Nortel Networks, the European Space Agency, Toshiba, Korean Telecom, and LG Electronics.

Read more...

News and events RSS

Jan 20, 2012 - Participate to PragmaDev on-line survey on modeling technologies and get a chance to win an iPad.

Feb 28-Mar 1, 2012 - Nuremberg - Germany - PragmaDev will be exhibiting at the Embedded World show.

Feb 1-3, 2012 - Toulouse - France - PragmaDev will be exhibiting at the ERTS2 show.

Dec 28, 2011 - New 10 minutes on-line demonstration of RTDS testing features.

Dec 13, 2011 - Eindhoven - Netherlands - DSP Valley workshop on Tools for Embedded System Design.

Dec 13, 2011 - Radio Classique - Paris - Listen to PragmaDev success story by the Pacte PME.

Nov 25, 2011 - SDL Forum 2011 proceedings are now available.

Sep 20, 2011 - RTDS V4.21 is out correcting V4.20 main issues.

Jun 20, 2011 - RTDS V4.2 is out introducing TTCN-3 code generator.

Jun 17, 2011 - PragmaDev to assign a second distributor in China.