PragmaDev Releases Version 4.3 of Real Time Developer Studio

PragmaDev rolled out version 4.3 of the Real Time Developer Studio. RTDS v4.3 includes 15 new features. According to PragmaDev, RTDS is the most complete model driven development and testing tool dedicated to real time and embedded applications. PragmaDev RTDS offers three levels of modeling and testing: informal, semi-formal, and fully formal.
The main feature of Real Time Developer Studio v4.3 is the generation of TTCN-3 test suites out of requirements expressed in MSC and HMSC. This feature verifies the model conforms to the requirements very early in the development process. The same feature can be used to gather execution traces coming from a simulation, or target execution, and replay the scenario as a test case automatically.
While informal modeling is mainly used for documentation, the most advanced level of modeling is ideal for simulation, prototyping, verification, full code generation, debug on target, and test generation.
New RTDS v4.3 Features
- TTCN-3 generation out of MSC and HMSC
- Publication marks shows graphically if whole or a part of a diagram has been documented
- Command line diff
- Support scheduling in C from SDL-RT projects
More info: PragmaDev
If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.

