Which of the following is generally the most effective way to verify such requirements?

Choose the correct answer

Modehca solvers can produce large volumes of time-based results (such as time-based power usage), but requirements are often based on scalar values such as "maximum peak power" and ‘average power usage".

Which of the following is generally the most effective way to verify such requirements?
A . Import the Modelica time-based power usage results into SysML Then use SysML parametncs to calculate these scalar values, and compare them to the requirements
B. ave the Modelica solver also compute these scalar values from its time-based power usage results Then import the resulting scalar values into SysML. and compare them to the requirements.
C. Use the SysML4Modelica profile to transform the Modelica time-based power usage results into these scalar values Then import the resulting scalar values into SysML, and compare them to the requirements.
D. Modelica models can only produce time-based results and thus cannot support scalar results like these, which must either be calculated using a different tool or measured on physical prototypes Then enter the resulting scalar values into SysML, and compare them to the requirements

View Answer

Answer: B

Explanation:

The most effective way to verify such requirements is to have the Modelica solver also compute these scalar values from its time-based power usage results. Then import the resulting scalar values into SysML, and compare them to the requirements. This way, the verification can be done at the same level of abstraction as the requirements, and avoid unnecessary transformations or calculations in SysML. Modelica solvers can provide various functions and operators to compute scalar values from time-based results, such as max, min, mean, integral, etc.

References: https://www.omg.org/ocsmp/ocsmp-adv-exam.htmhttps://modelica.org/documents/ModelicaSpec34.pdf