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.
News and events
Dec 4-6, 2013 - Paris - PragmaDev partner of the CSD&M conference.
Oct 22-24, 2013 - PragmaDev is Gold sponsor of the first ETSI User Conference on Advanced Automated Testing (UCAAT).
Jul 4, 2013 - One hour webinar to get a quick and efficient understanding of our technology.
Jun 26-28, 2013 - SDL Forum 2013 in Montréal preliminary call for participation.
Apr 23, 2013 - New V2.3 of SDL-RT.
Apr 8, 2013 - Participate to PragmaDev on-line survey on modeling technologies and get a chance to win an iPad mini.
Jan 24, 2013 - RTDS V4.4 is out introducing model generation from legacy code.
Nov 8, 2012 - Netherlands - Meet us during the Bits&Chips 2012 Embedded Systems conference.
Oct 30-31, 2012 - Paris - Meet us during the ARTEMIS Co-Summmit.
Oct 23, 2012 - Paris - Latest version of ITU-T SDL standard to support C language.