WOLFRAM

Wolfram Language & System Documentation Center

SystemModelValidationData[…]

represents the symbolic requirement validation results obtained from SystemModelValidate.

Details
Details and Options Details and Options
Examples  
Basic Examples  
Scope  
Properties  
Applications  
See Also
Tech Notes
Related Guides
Related Links
History
Cite this Page

SystemModelValidationData

SystemModelValidationData[…]

represents the symbolic requirement validation results obtained from SystemModelValidate.

Details

  • SystemModelValidationData is generated by the function SystemModelValidate and provides ways of summarizing, exploring and extracting system model requirement validation results.
  • A SystemModelValidationData[…] object val can be used to retrieve properties through val["property"].
  • val["Properties"] gives a list of available properties.
  • Typical properties include:
  • "Configuration"failure configurations to report
    "FailureIntervals"intervals of time at which the requirement fails
    "FailureIntervalsPlot"plot of failure intervals
    "FailurePlot"plot of validation
    "FirstFailureTime"first time at which the requirement fails
    "SuccessProbability"validation success probability
  • Other specifications include:
  • {p1,…,pn}get the values of properties pi
    "Summary"get the summary of the validation

Examples

open all close all

Basic Examples  (1)

Validate a requirement for the output of a TransferFunctionModel:

Wolfram Language code: req = SystemModelEventually[t, 1.6 ≤ Subscript[, 1][t]];

Specify a parameter uncertainty on a, an input function and a number of simulations:

Wolfram Language code: spec = <|"ParameterValues" -> {a -> NormalDistribution[1, 0.1]}, "Inputs" -> {1 -> UnitStep}, "SimulationCount" -> 50|>;

Validate the requirement producing SystemModelValidationData:

Wolfram Language code: val = SystemModelValidate[TransferFunctionModel[{{{2*(1 - a*s)}}, 2*(1 + s/2 + s^2)}, s], req, spec]

Extract properties from the object:

Wolfram Language code: val["FailureIntervals"]

Scope  (1)

Properties  (1)

Validate a requirement in a model of a circuit when the resistance is in an interval using 50 simulations:

Wolfram Language code: spec = <|"ParameterValues" -> {"R2.R" -> Quantity[Interval[{1/10, 1}], "Ohms"]}, "SimulationCount" -> 50|>;
Wolfram Language code: req = SystemModelAlways[t, "R2.p.v"[t] < 0.55];
Wolfram Language code: val = SystemModelValidate[[image], req, spec]

Find the list of available properties:

Wolfram Language code: val["Properties"]

Extract the success probability:

Wolfram Language code: val["SuccessProbability"]

Extract the failure count and the result for the validation success:

Wolfram Language code: val[{"FailureCount", "ValidationSucceeded"}]

Extract the stored failure configurations:

Wolfram Language code: val["Configuration"]

Extract the stored failure intervals for the first stored configuration:

Wolfram Language code: val["FailureIntervals", 1]

Extract the failure intervals plot for the first stored configuration:

Wolfram Language code: val["FailureIntervalsPlot", 1]

Extract the failure plot for the first stored configuration:

Wolfram Language code: val["FailurePlot", 1]

Extract the summary:

Wolfram Language code: val["Summary"]

Applications  (1)

Validate the requirement, "Whenever the controller is turned on, the room temperature must have a value between 18.5 °C and 21.0 °C." in a model for room heating:

Wolfram Language code: model = [image];
Wolfram Language code: req = SystemModelAlways[t, "thermostat.onOffController.y"[t]18.5 < "temperatureSensor1.T"[t] < 21.0];

Validate a simulation interval for several possible values of the resistance in the heating circuit setting:

Wolfram Language code: spec = <|"SimulationInterval" -> 2000, "ParameterValues" -> {"room.radiator.heatingCircuit.R" -> {0.1, 1, 10, 100, 1000}}|>;
Wolfram Language code: val = SystemModelValidate[model, req, spec]

Extract the stored failure configurations:

Wolfram Language code: fail = val["Configuration"]

Extract the failure plot for the first stored configuration:

Wolfram Language code: val["FailurePlot", 1]

Simulate and plot the state of the controller in the failure configuration:

Wolfram Language code: sim = SystemModelSimulate[model, 2000, fail[[1]]]
Wolfram Language code: SystemModelPlot[sim, {"thermostat.onOffController.y"}]

Despite the fact that the controller is always on, the room temperature drops below the minimum in the failure configuration:

Wolfram Language code: SystemModelPlot[sim, {"temperatureSensor1.T", 18.5, 21.0}, PlotRange -> All]
Wolfram Research (2025), SystemModelValidationData, Wolfram Language function, https://reference.wolfram.com/language/ref/SystemModelValidationData.html.

Text

Wolfram Research (2025), SystemModelValidationData, Wolfram Language function, https://reference.wolfram.com/language/ref/SystemModelValidationData.html.

CMS

Wolfram Language. 2025. "SystemModelValidationData." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SystemModelValidationData.html.

APA

Wolfram Language. (2025). SystemModelValidationData. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SystemModelValidationData.html

BibTeX

@misc{reference.wolfram_2026_systemmodelvalidationdata, author="Wolfram Research", title="{SystemModelValidationData}", year="2025", howpublished="\url{https://reference.wolfram.com/language/ref/SystemModelValidationData.html}", note=[Accessed: 13-June-2026]}

BibLaTeX

@online{reference.wolfram_2026_systemmodelvalidationdata, organization={Wolfram Research}, title={SystemModelValidationData}, year={2025}, url={https://reference.wolfram.com/language/ref/SystemModelValidationData.html}, note=[Accessed: 13-June-2026]}