67 lines
6.6 KiB
XML
67 lines
6.6 KiB
XML
<?xml version="1.1" encoding="UTF-8"?>
|
|
<fta:AnalysisModel 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="_gtVWABRfEeukRuldB7DbTA" mediniIdentifier="_gtVWABRfEeukRuldB7DbTA" name="Initial Cutsets" topEvent="_51fE0SlnEemewu2GOeCrNw" cutSetLength="2147483647" worstCaseRareEventApproximation="0.0" worstCaseUnavailabilityEsaryProschan="0E-8">
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef9BRfEeukRuldB7DbTA" mediniIdentifier="_gtef9BRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_z4XJoCloEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef9RRfEeukRuldB7DbTA" mediniIdentifier="_gtef9RRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_z4XJqiloEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef9hRfEeukRuldB7DbTA" mediniIdentifier="_gtef9hRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_LeV8cilpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef9xRfEeukRuldB7DbTA" mediniIdentifier="_gtef9xRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_LeV8dSlpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef8BRfEeukRuldB7DbTA" mediniIdentifier="_gtef8BRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_Z7gmEiloEemewu2GOeCrNw _8sT2EilpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef8hRfEeukRuldB7DbTA" mediniIdentifier="_gtef8hRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_Z7gmEiloEemewu2GOeCrNw _8sT2FilpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef8RRfEeukRuldB7DbTA" mediniIdentifier="_gtef8RRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_Z7qXECloEemewu2GOeCrNw _8sT2EilpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<cutSets xsi:type="fta:CutSet" xmi:id="_gtef8xRfEeukRuldB7DbTA" mediniIdentifier="_gtef8xRfEeukRuldB7DbTA" worstCaseUnavailability="0.0" trueEvents="_Z7qXECloEemewu2GOeCrNw _8sT2FilpEemewu2GOeCrNw" frequency="0.0"/>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_51fE0SlnEemewu2GOeCrNw" mediniIdentifier="_51fE0SlnEemewu2GOeCrNw" name="Enable set to TRUE while CAN message corruption" rawProbability="0.0" rawFrequency="0.0" id="SW-TLE3">
|
|
<eAnnotations xmi:id="_iY2coBRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_51fE0SlnEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_Z7gmEiloEemewu2GOeCrNw" mediniIdentifier="_Z7gmEiloEemewu2GOeCrNw" name="[Check Message Counter] [MF-058] Data Read Fault" rawProbability="0.0" rawFrequency="0.0" id="SW-E-195">
|
|
<eAnnotations xmi:id="_iY2coRRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_Z7gmEiloEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_ZSVtQCloEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_8sT2EilpEemewu2GOeCrNw" mediniIdentifier="_8sT2EilpEemewu2GOeCrNw" name="[VehicleSpeed] Loss/Misorder" rawProbability="0.0" rawFrequency="0.0" id="SW-E-209">
|
|
<eAnnotations xmi:id="_iY2cohRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_8sT2EilpEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_6gFPEClpEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_Z7qXECloEemewu2GOeCrNw" mediniIdentifier="_Z7qXECloEemewu2GOeCrNw" name="[Check Message Counter] [MF-057] Overflow" rawProbability="0.0" rawFrequency="0.0" id="SW-E-196">
|
|
<eAnnotations xmi:id="_iY2coxRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_Z7qXECloEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_W4kZgCloEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_8sT2FilpEemewu2GOeCrNw" mediniIdentifier="_8sT2FilpEemewu2GOeCrNw" name="[IGNITION] Loss/Misorder" rawProbability="0.0" rawFrequency="0.0" id="SW-E-210">
|
|
<eAnnotations xmi:id="_iY2cpBRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_8sT2FilpEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_7dvKIClpEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_z4XJoCloEemewu2GOeCrNw" mediniIdentifier="_z4XJoCloEemewu2GOeCrNw" name="[IGNITION] Corrupted" rawProbability="0.0" rawFrequency="0.0" id="SW-E-201">
|
|
<eAnnotations xmi:id="_iY2cpRRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_z4XJoCloEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_xIFaYCloEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_z4XJqiloEemewu2GOeCrNw" mediniIdentifier="_z4XJqiloEemewu2GOeCrNw" name="[VehicleSpeed] Corrupted" rawProbability="0.0" rawFrequency="0.0" id="SW-E-203">
|
|
<eAnnotations xmi:id="_iY2cphRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_z4XJqiloEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_wztF0CloEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_LeV8cilpEemewu2GOeCrNw" mediniIdentifier="_LeV8cilpEemewu2GOeCrNw" name="[Check Status] [MF-061] Calculation Error" rawProbability="0.0" rawFrequency="0.0" id="SW-E-207">
|
|
<eAnnotations xmi:id="_iY2cpxRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_LeV8cilpEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_Jctb4ClpEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedEvents xsi:type="fta:Event" xmi:id="_LeV8dSlpEemewu2GOeCrNw" mediniIdentifier="_LeV8dSlpEemewu2GOeCrNw" name="[Validate] [MF-062] Calculation Error" rawProbability="0.0" rawFrequency="0.0" id="SW-E-208">
|
|
<eAnnotations xmi:id="_iY2cqBRfEeukRuldB7DbTA" source="originalEvent">
|
|
<references href="_51fE0ClnEemewu2GOeCrNw.fta#_LeV8dSlpEemewu2GOeCrNw"/>
|
|
</eAnnotations>
|
|
<represents href="../sysml/_SBrvoClTEemewu2GOeCrNw.sysml#_K0twoClpEemewu2GOeCrNw"/>
|
|
</analyzedEvents>
|
|
<analyzedModel xsi:type="fta:FTAModel" href="_51fE0ClnEemewu2GOeCrNw.fta#_51fE0ClnEemewu2GOeCrNw"/>
|
|
<eventProbabilityParameters xmi:id="_iY2cqRRfEeukRuldB7DbTA" missionTime="8E+3"/>
|
|
</fta:AnalysisModel>
|