"Event driven approach and clock based approach are fundamentally different. I often came across project leaders that had a tough trade-off to make between these approaches and none of the solution was fully satisfactory. Now if the models can be easily connected and simulated the user can have the best of both worlds. That is what we have done with the support of FMI2.0." says Emmanuel Gaudin, PragmaDev Founder & CEO.

Among the main new features are:

• FMI V2.0: This tool imports a Functional Mockup Unit (FMU) and analyzes its inputs and outputs. A mapping between the SDL model and the FMU is then defined through a specific interface. Both co-simulation and model exchange modes are supported. PragmaDev Studio acts as a "master" / "importing" tool. The tool distribution contains an example with an OpenModelica FMU and an example with a Scade Suite FMU.
• Support of requirements table in Reqtify integration: On one hand, PragmaDev Studio could import requirements files in .csv format and keep links between the textual requirements, the model, and the test. On the other hand, PragmaDev Studio had an integration with Reqtify traceability tool. Tracing information in the model could be read by Reqtify. PragmaDev Studio and Reqtify integration goes one step further and makes the link between PragmaDev requirements table and Reqtify.
• New type declaration wizard: As it is not always easy to remember how to declare a new type, PragmaDev Studio V5.3 introduces a declaration wizard. A right click in the declaration symbol drops a menu with all the possible type declarations.
• Statement wizard: As for a new type declaration, a wizard for textual statements helps users to model their system. A statement template is then inserted making model design quick and easy.
• New gauge widget for the GUI: A gauge widget has been introduced in the prototyping GUI. It is a realistic way of displaying a value between 0 and 100, which is useful when co-simulating a clock-based model through the FMI interface.
• Improved built in library: PragmaDev Studio comes with a built in library called PragmaLib. That library extends SDL and TTCN-3 to allow to manipulate files and create graphs. V5.3 now adds the support of an sprintf equivalent function to write formatted data to strings.
• Generation of tables in OpenOffice documents: Documents in PragmaDev Studio can contain tables that are described in the tool. V5.3 can export these tables in OpenOffice as well as in Word or HTML.