1. PRAGMA DEV (www.pragmadev.com)

World’s leading provider of graphical software modeling tools based on SDL international standard with its Real Time Developer Studio (RTDS) set of tools.

It targets all development teams working with a Real Time Operating System. It answers the developers needs in a market where 90% of the developments use no graphical tools.

Real Time Developer Studio G3 is the first commercial off the shelf tool supporting UML, SDL, and SDL-RT in the same environment. It targets all development teams working with a Real Time Operating System and goes through:
• Specification
• Design
• Code generation
• Unitary testing
• Conformance
• Documentation

MSC Tracer Graphical Tracing Tool based on ITU-T Message Sequence Chart and on OMG UML2.0 Sequence Diagram standards