Please describe the problem your proposed feature would address
I would like to be able to calculate reachability queries based on the data and error flow in an AADL model.
What is the impact of the problem?
I either have to install Awas, which supports this type of queries, or calculate the reachability myself using the built-in traversal of the instance model.
Describe the solution you'd like
I would like an API that implements these queries.
Describe alternatives you've considered
Awas is a good alternative. Handwriting reachability calculations in each individual plugin that uses them is also an alternative, but it is error-prone and some of the previous implementations can be challenging to maintain.
Additional context
None.
Please describe the problem your proposed feature would address
I would like to be able to calculate reachability queries based on the data and error flow in an AADL model.
What is the impact of the problem?
I either have to install Awas, which supports this type of queries, or calculate the reachability myself using the built-in traversal of the instance model.
Describe the solution you'd like
I would like an API that implements these queries.
Describe alternatives you've considered
Awas is a good alternative. Handwriting reachability calculations in each individual plugin that uses them is also an alternative, but it is error-prone and some of the previous implementations can be challenging to maintain.
Additional context
None.