represents the symbolic requirement validation results obtained from SystemModelValidate.


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 allBasic Examples (1)
Validate a requirement for the output of a TransferFunctionModel:
Specify a parameter uncertainty on a, an input function and a number of simulations:
Validate the requirement producing SystemModelValidationData:
Scope (1)
Properties (1)
Validate a requirement in a model of a circuit when the resistance is in an interval using 50 simulations:
Find the list of available properties:
Extract the success probability:
Extract the failure count and the result for the validation success:
Extract the stored failure configurations:
Extract the stored failure intervals for the first stored configuration:
Extract the failure intervals plot for the first stored configuration:
Extract the failure plot for the first stored configuration:
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:
Validate a simulation interval for several possible values of the resistance in the heating circuit setting:
Extract the stored failure configurations:
Extract the failure plot for the first stored configuration:
Simulate and plot the state of the controller in the failure configuration:
Despite the fact that the controller is always on, the room temperature drops below the minimum in the failure configuration:
Tech Notes
Related Guides
Related Links
History
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_2025_systemmodelvalidationdata, author="Wolfram Research", title="{SystemModelValidationData}", year="2025", howpublished="\url{https://reference.wolfram.com/language/ref/SystemModelValidationData.html}", note=[Accessed: 04-August-2025]}
BibLaTeX
@online{reference.wolfram_2025_systemmodelvalidationdata, organization={Wolfram Research}, title={SystemModelValidationData}, year={2025}, url={https://reference.wolfram.com/language/ref/SystemModelValidationData.html}, note=[Accessed: 04-August-2025]}