80 lines
10 KiB
XML
80 lines
10 KiB
XML
<?xml version="1.1" encoding="UTF-8"?>
|
|
<fta:FTAModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:fta="http://www.ikv.de/medini/metamodels/FTA/2.0" xmi:id="_zNeQUIJMEfC6sN2D-Ef7dg" mediniIdentifier="_zNeQUIJMEfC6sN2D-Ef7dg" name="FTA for [G002]">
|
|
<events xsi:type="fta:Event" xmi:id="_zNeQUYJMEfC6sN2D-Ef7dg" mediniIdentifier="_zNeQUYJMEfC6sN2D-Ef7dg" name="[G002] SOA is violated" id="E2700" nodes="_zNeQUoJMEfC6sN2D-Ef7dg"/>
|
|
<events xsi:type="fta:Event" xmi:id="_tsLgEIJOEfC6sN2D-Ef7dg" mediniIdentifier="_tsLgEIJOEfC6sN2D-Ef7dg" rawProbability="0.0" id="E2701" nodes="_tsMHIIJOEfC6sN2D-Ef7dg">
|
|
<probabilityData xsi:type="fta:ExponentialProbabilityModel" xmi:id="_tsMHIYJOEfC6sN2D-Ef7dg" lambdaDerived="true"/>
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_3mbWcIUwEe6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_t6trUoJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6trUoJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_t6trU4JOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_WlsC8IU8Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_t6uSYYJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSYYJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_t6uSYoJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_Y7KFgIU8Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_t6uSZIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSZIJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_t6uSZYJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_aM2W4IU8Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_t6uSZ4JOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSZ4JOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_t6uSaIJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_dstI8IU8Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_t6uSaoJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSaoJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_t6uSa4JOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_1UcZ0IU9Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_wvVIAIJOEfC6sN2D-Ef7dg" mediniIdentifier="_wvVIAIJOEfC6sN2D-Ef7dg" rawProbability="0.0" id="E2702" nodes="_wvVIAYJOEfC6sN2D-Ef7dg">
|
|
<probabilityData xsi:type="fta:ExponentialProbabilityModel" xmi:id="_wvVIAoJOEfC6sN2D-Ef7dg" lambdaDerived="true"/>
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_X36rYIUyEe6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_xDjrkIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrkIJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_xDjrkYJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_2yZJEIU-Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_xDjrk4JOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrk4JOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_xDjrlIJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_5PcaUIU-Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_xDjrloJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrloJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_xDjrl4JOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_6TAwIIU-Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_xDjrmYJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrmYJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_xDjrmoJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_7Jd3AIU-Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_xDjrnIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrnIJOEfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_xDjrnYJOEfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_73KDcIU-Ee6bcr_7ut9TnA"/>
|
|
</events>
|
|
<events xsi:type="fta:Event" xmi:id="_TPJgQIJREfC6sN2D-Ef7dg" mediniIdentifier="_TPJgQIJREfC6sN2D-Ef7dg" name="ABC" id="E2707" nodes="_TPISIIJREfC6sN2D-Ef7dg"/>
|
|
<events xsi:type="fta:Event" xmi:id="_Wr0bcIJREfC6sN2D-Ef7dg" mediniIdentifier="_Wr0bcIJREfC6sN2D-Ef7dg" rawProbability="0.0" nodes="_Wr0bcYJREfC6sN2D-Ef7dg">
|
|
<represents href="../sysml/_YcZjoGvOEe213rmEQMsJdw.sysml#_AiolwIXcEe6bcr_7ut9TnA"/>
|
|
</events>
|
|
<gates xsi:type="fta:LogicalGate" xmi:id="_t6trUIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6trUIJOEfC6sN2D-Ef7dg" inputs="_t6uSYIJOEfC6sN2D-Ef7dg _t6uSY4JOEfC6sN2D-Ef7dg _t6uSZoJOEfC6sN2D-Ef7dg _t6uSaYJOEfC6sN2D-Ef7dg _t6uSbIJOEfC6sN2D-Ef7dg" outputs="_t6trUYJOEfC6sN2D-Ef7dg" kind="OR"/>
|
|
<gates xsi:type="fta:LogicalGate" xmi:id="_xDjEgIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjEgIJOEfC6sN2D-Ef7dg" inputs="_xDjrkoJOEfC6sN2D-Ef7dg _xDjrlYJOEfC6sN2D-Ef7dg _xDjrmIJOEfC6sN2D-Ef7dg _xDjrm4JOEfC6sN2D-Ef7dg _xDjrnoJOEfC6sN2D-Ef7dg" outputs="_xDjEgYJOEfC6sN2D-Ef7dg" kind="OR"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6trUYJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6trUYJOEfC6sN2D-Ef7dg" outputNode="_t6trUIJOEfC6sN2D-Ef7dg" inputNode="_tsMHIIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6uSYIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSYIJOEfC6sN2D-Ef7dg" outputNode="_t6trU4JOEfC6sN2D-Ef7dg" inputNode="_t6trUIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6uSY4JOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSY4JOEfC6sN2D-Ef7dg" outputNode="_t6uSYoJOEfC6sN2D-Ef7dg" inputNode="_t6trUIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6uSZoJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSZoJOEfC6sN2D-Ef7dg" outputNode="_t6uSZYJOEfC6sN2D-Ef7dg" inputNode="_t6trUIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6uSaYJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSaYJOEfC6sN2D-Ef7dg" outputNode="_t6uSaIJOEfC6sN2D-Ef7dg" inputNode="_t6trUIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t6uSbIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSbIJOEfC6sN2D-Ef7dg" outputNode="_t6uSa4JOEfC6sN2D-Ef7dg" inputNode="_t6trUIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_t61nIIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t61nIIJOEfC6sN2D-Ef7dg" outputNode="_tsMHIIJOEfC6sN2D-Ef7dg" inputNode="_zNeQUoJMEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjEgYJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjEgYJOEfC6sN2D-Ef7dg" outputNode="_xDjEgIJOEfC6sN2D-Ef7dg" inputNode="_wvVIAYJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjrkoJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrkoJOEfC6sN2D-Ef7dg" outputNode="_xDjrkYJOEfC6sN2D-Ef7dg" inputNode="_xDjEgIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjrlYJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrlYJOEfC6sN2D-Ef7dg" outputNode="_xDjrlIJOEfC6sN2D-Ef7dg" inputNode="_xDjEgIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjrmIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrmIJOEfC6sN2D-Ef7dg" outputNode="_xDjrl4JOEfC6sN2D-Ef7dg" inputNode="_xDjEgIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjrm4JOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrm4JOEfC6sN2D-Ef7dg" outputNode="_xDjrmoJOEfC6sN2D-Ef7dg" inputNode="_xDjEgIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDjrnoJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrnoJOEfC6sN2D-Ef7dg" outputNode="_xDjrnYJOEfC6sN2D-Ef7dg" inputNode="_xDjEgIJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_xDqZQIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDqZQIJOEfC6sN2D-Ef7dg" outputNode="_wvVIAYJOEfC6sN2D-Ef7dg" inputNode="_t6uSZYJOEfC6sN2D-Ef7dg"/>
|
|
<connections xsi:type="fta:Connection" xmi:id="_Wr1CgIJREfC6sN2D-Ef7dg" mediniIdentifier="_Wr1CgIJREfC6sN2D-Ef7dg" outputNode="_Wr0bcYJREfC6sN2D-Ef7dg" inputNode="_TPISIIJREfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_zNeQUoJMEfC6sN2D-Ef7dg" mediniIdentifier="_zNeQUoJMEfC6sN2D-Ef7dg" inputs="_t61nIIJOEfC6sN2D-Ef7dg" event="_zNeQUYJMEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_tsMHIIJOEfC6sN2D-Ef7dg" mediniIdentifier="_tsMHIIJOEfC6sN2D-Ef7dg" inputs="_t6trUYJOEfC6sN2D-Ef7dg" outputs="_t61nIIJOEfC6sN2D-Ef7dg" event="_tsLgEIJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_t6trU4JOEfC6sN2D-Ef7dg" mediniIdentifier="_t6trU4JOEfC6sN2D-Ef7dg" outputs="_t6uSYIJOEfC6sN2D-Ef7dg" event="_t6trUoJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_t6uSYoJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSYoJOEfC6sN2D-Ef7dg" outputs="_t6uSY4JOEfC6sN2D-Ef7dg" event="_t6uSYYJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_t6uSZYJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSZYJOEfC6sN2D-Ef7dg" inputs="_xDqZQIJOEfC6sN2D-Ef7dg" outputs="_t6uSZoJOEfC6sN2D-Ef7dg" event="_t6uSZIJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_t6uSaIJOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSaIJOEfC6sN2D-Ef7dg" outputs="_t6uSaYJOEfC6sN2D-Ef7dg" event="_t6uSZ4JOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_t6uSa4JOEfC6sN2D-Ef7dg" mediniIdentifier="_t6uSa4JOEfC6sN2D-Ef7dg" outputs="_t6uSbIJOEfC6sN2D-Ef7dg" event="_t6uSaoJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_wvVIAYJOEfC6sN2D-Ef7dg" mediniIdentifier="_wvVIAYJOEfC6sN2D-Ef7dg" inputs="_xDjEgYJOEfC6sN2D-Ef7dg" outputs="_xDqZQIJOEfC6sN2D-Ef7dg" event="_wvVIAIJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_xDjrkYJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrkYJOEfC6sN2D-Ef7dg" outputs="_xDjrkoJOEfC6sN2D-Ef7dg" event="_xDjrkIJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_xDjrlIJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrlIJOEfC6sN2D-Ef7dg" outputs="_xDjrlYJOEfC6sN2D-Ef7dg" event="_xDjrk4JOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_xDjrl4JOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrl4JOEfC6sN2D-Ef7dg" outputs="_xDjrmIJOEfC6sN2D-Ef7dg" event="_xDjrloJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_xDjrmoJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrmoJOEfC6sN2D-Ef7dg" outputs="_xDjrm4JOEfC6sN2D-Ef7dg" event="_xDjrmYJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_xDjrnYJOEfC6sN2D-Ef7dg" mediniIdentifier="_xDjrnYJOEfC6sN2D-Ef7dg" outputs="_xDjrnoJOEfC6sN2D-Ef7dg" event="_xDjrnIJOEfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_TPISIIJREfC6sN2D-Ef7dg" mediniIdentifier="_TPISIIJREfC6sN2D-Ef7dg" inputs="_Wr1CgIJREfC6sN2D-Ef7dg" event="_TPJgQIJREfC6sN2D-Ef7dg"/>
|
|
<eventNodes xmi:id="_Wr0bcYJREfC6sN2D-Ef7dg" mediniIdentifier="_Wr0bcYJREfC6sN2D-Ef7dg" outputs="_Wr1CgIJREfC6sN2D-Ef7dg" event="_Wr0bcIJREfC6sN2D-Ef7dg"/>
|
|
<eventProbabilityParameters href="../.project.medini#_mUHB4QuuEeqjYeKjV-7wuQ"/>
|
|
</fta:FTAModel>
|