[aadl-modeling]: XML Representation of Fault Tree

[Thomas, Roshan K]

Hello,

I am currently trying to generate fault trees for the Wheel Braking System example using the OSATE plugin. Please see (https://github.com/osate/examples/tree/master/ARP4761). I have successfully generated a fault tree diagram for the wbs_ima_Instance for AnnunciatedBrakingLoss by selecting Fault Contributor Trace in the Fault-Tree Analysis pop-up window.

In the generated XML from the fault tree analysis, I see there is a collection of event tags. However, I am having troubling trying to determine the structure of the fault tree based on the event tags. I am assuming that the subEvents attribute refers to the children of the event. However, all of the events listed under subEvents do not match any of the named events in the XML file. For example, here is an events tag but there is no events.35 in the XML file.

<events name="blue_pump-failed" subEvents="//@events.35<mailto://@events.35>" computedProbability="2.5E-5" referenceCount="1" type="Intermediate">
    <relatedInstanceObject href="../../wbs_wbs_ima_Instance.aaxl2#//@componentInstance.3<mailto:../../wbs_wbs_ima_Instance.aaxl2#//@componentInstance.3>"/>
    <relatedEMV2Object href="../../../error.aadl#/0/@ownedPublicSection/@ownedAnnexLibrary.0/@parsedAnnexLibrary/@behaviors.2/@states.1<mailto:../../../error.aadl#/0/@ownedPublicSection/@ownedAnnexLibrary.0/@parsedAnnexLibrary/@behaviors.2/@states.1>"/>
  </events>

In sum:
How do I figure out what events are children of a particular event? Is there an XML representation of the error annex that can be generated by OSATE?


Thanks
Roshan Thomas
-------------- next part --------------
HTML attachment scrubbed and removed