Profile

Founded in 2001 and based in Paris France, PragmaDev is the leading provider of graphical software modelling tools based on SDL international standard with its Real Time Developer Studio set of tools. It targets all development teams working with a Real Time Operating System, a market where 90% of the developments use no modelling tools.

Real Time Developer Studio technology was one of the winners of the 2001 edition of the national competition on innovative technologies organized by the French ministry of research.

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

The introduction of a UML profile based on SDL dedicated to real time software: SDL-RT is an opportunity for real time developers to finally have a dedicated standard where concepts they use every day have a graphical representation while keeping the good old C code inside.

Vision

Real time market is a fast growing segment where the latest technologies can be found. Languages and tools have been trying to seduce that market for years. The result is pretty disapointing: 90% of the development teams have not considered the existing tools interesting enough, and the 10% left have not considered their experience worth spreading.

A constant trend is also that tools try to revolutionize the way people have been working for years with success. Why is that ?

We consider this is because tools editors tend to focus on one technology instead of focusing on the users needs. PragmaDev has always focued on your needs in order to provide a solution based on international standards.

PragmaDev Real Time Developer Studio will suit you no matter how far you are willing to go in a model driven approach: basic UML diagrams for informal modeling, SDL-RT for semi-formal modeling, and SDL for fully formal modeling. Each type of model will offer different types of verification and it is possible to move from one model to the other.

RTDS supports all three levels of modeling within one consistent tool.