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
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.
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).
Sep 23, 2014 - Marseille - France - PragmaDev presentation at the M2M Innovation World Congress.
Sep 16-18, 2014 - Munich - Germany - PragmaDev will hold 2 presentations at UCAAT 2014: one on MBT and one on property verification.