[aadl-modeling]: Undetected Error Probability

[Peter Feiler]

David,

Thanks for sending the example. The example uncovered a bug in dealing with branching transitions.
See https://github.com/osate/osate2/issues/1380
I have a correction that will go out with the nightly build once my pull request has been approved.

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of David K
Sent: Tuesday, July 10, 2018 5:19 AM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu>
Subject: Re: [aadl-modeling]: Undetected Error Probability

Thank you for your answer. I tried to implement it into my model but the outcome doesn't change at all. The OSATE editor indicates no errors so I don't know why.
As reference for the implementation I used Figure 37 in this essay: https://resources.sei.cmu.edu/asset_files/TechnicalReport/2016_005_001_464390.pdf
The very basic model I created for this purpose is in the attachment as well as the resulting fault tree. Is there any reason why the error probability of the "BTCU_Error_Root"-device the doesn't change?





Am Mo., 9. Juli 2018 um 15:47 Uhr schrieb Peter Feiler <phf at sei.cmu.edu<mailto:phf at sei.cmu.edu>>:
EMV2 has branching transitions. This allows you to model an error event triggering a transition. This transition then takes one of several branches according to a fixed probability, e.g., your 90%.
One branch goes to a state that gets propagated – the other to a state that does not get propagated.

This capability is handy for modeling error events occurring with a given probability that result in persistent or transient error states with a specified fixed distribution.

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu<mailto:sei.cmu.edu at lists.sei.cmu.edu> [mailto:aadl-modeling-bounces+phf<mailto:aadl-modeling-bounces%2Bphf>=sei.cmu.edu at lists.sei.cmu.edu<mailto:sei.cmu.edu at lists.sei.cmu.edu>] On Behalf Of David K
Sent: Friday, July 6, 2018 5:14 AM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu<mailto:aadl-modeling at lists.sei.cmu.edu>>
Subject: [aadl-modeling]: Undetected Error Probability

Good morning,

I have a short question about detected and undetected errors in a FTA:
The occurrencedistribution attribute of the EMV2-Annex displays the detected errors in a FTA if I understand it correctly. Now I additionally want to model the probability of undetected erors, e.g. an error has a probability of 1e-6 but is forwarded only in 90% of the cases. Is there any possibility for this. I searched in several documents for it but just found the possibility that an error isn't forwarded at all.


Greetings
David
-------------- next part --------------
HTML attachment scrubbed and removed