Skip to content

Commit

Permalink
Merge pull request #164 from kbss-cvut/fix/638-fix-missing-fha-fr-in-…
Browse files Browse the repository at this point in the history
…faulttree-summary

Fix graph pattern for matching FHA based failure rate
  • Loading branch information
kostobog authored Oct 24, 2024
2 parents ead2618 + e8d6148 commit 775e069
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/main/java/cz/cvut/kbss/analysis/dao/FaultTreeDao.java
Original file line number Diff line number Diff line change
Expand Up @@ -128,8 +128,7 @@ public Query getSummariesQuery() {
?failureRateRequirement fta:to ?requiredFailureRate.
}
OPTIONAL{
?rootEventType fta:is-derived-from ?supsup.
?supsup fta:has-failure-rate ?fhaFailureRateQ.
?rootEventType fta:has-failure-rate ?fhaFailureRateQ.
?fhaFailureRateQ fta:has-estimate ?fhaFailureRateP.
?fhaFailureRateP a fta:failure-rate-estimate;
fta:value ?fhaBasedFailureRate.
Expand Down

0 comments on commit 775e069

Please sign in to comment.