In this release, the Behavior-to-Structure Synchronization has undergone further improvements and now allows to completely synchronize the entire structure model with the behavior model. Additionally, the Requirements verification can now be performed directly in the Requirement Table. Moreover, the enhancements for Modelica allow importing Modelica files as well as extending the model generated as a Modelica code, using a Comment element with the «ModelicaExtension» stereotype.
The Behavior-to-Structure Synchronization has undergone further improvements to enable you to completely synchronize the entire structure model with the behavior model. First, the set of validation rules has been extended by introducing the brand new validation rules for the detection of missing Connectors and Item Flows. That is not all! You can now automatically build the structure model according to defined Activities and, at the same time, generate an Internal Block Diagram by executing a single-click command.
Widget Connector
url
https://www.youtube.com/watch?v=Zuphq7gFL1w
Image Modified
Checking the consistency of the Internal Block Diagram with Activities and then handling detected inconsistencies using solvers.
The Requirements verification can now be performed directly in the Requirement Table. The analysis is carried out by evaluating whether the value of the property satisfying the Requirement is within a range of lower and upper bounds extracted from the Requirement text. Additionally, the automatically calculated margin value helps to determine how close the system model is to fulfilling Requirements.
Widget Connector
url
https://www.youtube.com/watch?v=6fQ1F-YCTxY
Image Modified
Performing the Requirements verification analysis in the Requirement Table.
In this version, the Modelica import was enhanced. Previously, only Modelica Library import was available. Now you can import the Modelica file (*.mo) content into the single selected Block of your SysML model.During the import, context-specific initial values can be updated or missing classifiers can be created. Furthermore, connector, property, and port changes are
the model generated as a Modelica code, using a Comment element with the «ModelicaExtension» stereotype. The Modelica Extension content is exported to the Modelica file together with the model.
As
As a result,
the code
the code is generated depending on where the Comment is attached.
