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
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.
July 1, 2014 - Testing listed as the main upcoming topic in PragmaDev latest survey. The winner of the pool is Julia Schroeter from TU Dresden in Germany.
Jun 12, 2014 - Palaiseau - France - Test generation and system validation. Register to the presentation of the first results of PragmaList common lab with CEA.
May 22, 2014 - Noordwijk - Netherlands - Free SDL State Machine Editor in TASTE presentation at the ESA Software Systems Division & Data Systems Division Final Presentation Days.