One of the new features in SystemModeler 4.1 is the possibility to use reliability information in your models. This new example: Electrical circuit reliability shows how to combine reliability information and Modelica models. The example shows how to retrieve reliability information from a model with WSMModelReliability:

{rAmp, rAmpH} = {WSMModelReliability[model], WSMModelReliability[modelHot]}

And how to compute some typical measures such as survival function:

Go ahead and download the new example from the examples page and try it out yourself!