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 communicating systems called "Real Time Developer Studio" and "PragmaDev Tracer".
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, to maintain your software, or to document your design, you should consider our solution.
Real Time Developer Studio targets all development teams working on communicating systems with a unique combination of standard languages.
It 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.
The PragmaDev Tracer is a free on-line or off-line tracing tool that can verify properties on the traces.
PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel-Lucent,
the French Army, the European Space Agency, Toshiba, Korean Telecom, and LG Electronics.
News and events
Oct 12-14, 2015 - Berlin - Germany - Call for papers for the 17th International Specification and Design Languages Forum.
Apr 2, 2015 - Paris - PragmaDev talk on Simulation of a network of connected objects at the RTS conference.
Mar 11, 2015 - Webinar on RTDS V4.6 new features.
Mar 9, 2015 - Participate to PragmaDev on-line survey on modeling technologies and get a chance to win an iPad mini.
Feb 16, 2015 - Paris - France - PragmaDev introduces a simulator of connected objects in its latest release V4.6.
Dec 4, 2014 - Paris - PragmaDev sponsor of the next ARM Technology Symposium.
Nov 20, 2014 - Netherlands - Meet us during the Bits&Chips 2014 Smart Systems conference.
Nov 12-14, 2014 - Paris - PragmaDev partner of the CSD&M conference.
Sep 29-30, 2014 - Valencia - Spain - Call for papers for the 8th System Analysis and Modelling Conference (SAM 2014).