PragmaDev Releases Version 4.3 of Real Time Developer Studio

PragmaDev Real Time Developer Studio, version 4.3

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