search

osate / ErrorModelV2

Old AADL EMV2 annex repository, kept for reference
3 stars 10 forks source link

Error when getting the Error Path using AnalysisModel class #56

Closed juli1 closed 6 years ago

juli1 commented 10 years ago

When trying to get the error path using the AnalysisModel class, only part of the path is retrieved. Considering the model on https://github.com/osate/examples/blob/master/error-model/Basic/basicflows.aadl

When getting the ErrorPath error from the sender component, it returns a path between the middle and receiver component. Using the getAllRerversePropagationPaths with the receiver component instance should return an error path where the source is the sender component.

reteprelief commented 6 years ago

We switched to PropagationGraph to replace AnalysisModel