Unable to generate Fault Tree Analysis from fully specified error model

[sprocter]

Hello,

I've been working with an AADL model that is also fully (I believe -- I'm not the original developer) described with EMV2 annotations. Though I can get some analyses to behave correctly (like FHA), I'm unable to generate a meaningful FTA diagram.

The steps I'm taking are:

1. Instantiating my system implementation
2. Right clicking the resulting .aaxl2 file and selecting AADL Analyses > Fault Analyses > Fault Tree Analysis
3. Leaving the error state name at the default of "failed" and selecting OK

I expect to get a .fta and .xml file with enough information to describe my fault tree.

Instead, though, I get: SystemName_...fta: NULL S NULL 0 3 fta M event11 0 7 event11

and SystemName_...xml: <event id="event11"> </event>

Is there something wrong with the steps I am taking? Or is this an error with the fault tree analysis?

Thanks.

[juli1]

Please provide the model so that we can investigate.

Thanks.

[sprocter]

Is there a way to upload a zip file to this page? Or how can I get you all the model?

[juli1]

Please use gist: https://gist.github.com/

[sprocter]

Sorry it took me so long -- I had to get permission to post the files, and strip out some dependencies. I've posted the eight files (six packages, two propertysets) on gist.

[juli1]

The model is not complete and cannot be parsed. Please send a complete workspace that parses with instructions to reproduce the bug. See https://wiki.sei.cmu.edu/aadl/index.php/Reporting_a_bug for bug report instructions.

Thanks.

[juli1]

Hello,

I finally managed to import the model. I was able to generate the FTA for a system that has a composite error model (e.g. isolette.single_sensor). See the picture below.

Please describe how to reproduce the bug report.

Julien.

[sprocter]

The steps I'm taking are:

1. Instantiating my system (e.g. isolette.single_sensor) implementation
2. Right clicking the resulting .aaxl2 file and selecting AADL Analyses > Fault Analyses > Fault Tree Analysis
3. Leaving the error state name at the default of "failed" and selecting OK

And then I get the two nearly-empty files mentioned previously. Is it possible I'm missing a step?

[juli1]

The single_sensor does not have the default Failed error state. You should specify one of the state referenced in the composite error model, either ReportedFailure or MissedFailure. The error states are then able to produce the FTA.