Research Article
Model-Based Dependability Analysis of Physical Systems with Modelica
Box 1
A fragment of the generated XML code representing the Bayesian Network.
| ?xml version=1.0 encoding=ISO-8859-1? | | smile version=1.0 id=Unnamed numsamples=1000 discsamples=10000 | | nodes | | cpt id=LevelController | | state id=Success/> | | state id=Failure/> | | probabilities>0.90.09999999999999998</probabilities> | | /cpt> | | cpt id=Tank> | | state id=Success/> | | state id=Failure/> | | probabilities>0.950.05000000000000004</probabilities> | | /cpt> | | cpt id=Sink> | | state id=Success/> | | state id=Failure/> | | probabilities>0.40.6</probabilities> | | /cpt> | | cpt id=ActuateOutFlow> | | state id=Success/> | | state id=Failure/> | | parents>Tank/parents> | | probabilities>0.50.50.50.5/probabilities> | | /cpt> | | cpt id=SenseLevel> | | state id=Success/> | | state id=Failure/> | | parents>Tank/parents> | | probabilities>0.50.50.50.5/probabilities> | | /cpt> | | cpt id=LiquidSource> | | state id=Success/> | | state id=Failure/> | | probabilities>0.80.2</probabilities> | | /cpt> | | cpt id=LimitInFlow> | | state id=Success/> | | state id=Failure/> | | parents>LiquidSource/parents> | | probabilities>0.50.50.50.5/probabilities> | | /cpt> | | cpt id=ControlOutFlow> | | state id=Success/> | | state id=Failure/> | | parents>SenseLevel ActuateOutFlow LevelController/parents> | | probabilities>0.50.50.50.50.50.50.50.50.50.50.50.50.50.50.50.5/probabilities> | | /cpt> | | cpt id=ControlLevel> | | state id=Success/> | | state id=Failure/> | | parents>ControlOutFlow LimitInFlow</parents> | | probabilities>0.50.50.50.50.50.50.50.5</probabilities> | | /cpt> | | /nodes> | | extensions>…/extensions> | | /smile> |
|
