January 16th, 2013 by Hannah Hammond
New in Reqtify 2012-2a is an interface for Modelica code, meaning Modelica source files produced by a Modelica tool, such as Dymola, can be analysed by Reqtify. The inbuilt Modelica Type imports all the standard classes from Dymola into Reqtify; such as packages, models, blocks, functions, etc. To add coverage statements to link a Dymola models to a requirement:
More details on the Modelica interface can be found in the Reqtify 2012-2a coupling notes for Modelica and Dymola. Also see the Modelica coupling example delivered with Reqtify. This example demonstrates how Dymola models can be included in a Reqtify project to validate requirements; the following figures are taken from this example.