diagramming.org
Welcome to Diagramming.org

Tool Profile

PragmaDev

Type:
Commercial
Synopsis:
PragmaDev is a privately held company based in Paris France that provides a set of modeling and testing tools for the development of real time and embedded software: "Real Time Developer Studio" and "MSC Tracer".
Description:
Real Time Developer Studio provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling, the most common, is mainly used for documentation; the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, test generation, and test of the model.

Technically speaking Real Time Developer Studio is a consistent integration of standards such as SDL, SDL-RT, UML, TTCN-3, ASN.1, and C/C++ editors. Models can be executed and verified with a powerful built-in simulator and a third-party exhaustive simulator. Test cases can be generated from the model or from use cases and executed against the abstract model or its implementation. The tool can generate full C or C++ code including RTOS adaptation or a built-in scheduler. Its connection with cross debuggers allows graphical debugging in the model and generation of live graphical traces. The tool can also generate full documentation and connect to traceability tools.
Website:
Contact:
Emmanuel Gaudin
Founder & CEO
http://www.pragmadev.com
Hits:1946

Reviews

Review This Tool...

Share and Enjoy: These icons link to social bookmarking sites where readers can share and discover new web pages.
  • Digg
  • del.icio.us
  • Facebook
  • Google
  • E-mail this story to a friend!
  • Furl
  • Live
  • Print this article!
  • StumbleUpon
  • Technorati
  • TwitThis
  • YahooMyWeb