sprocter
commented
1 year ago Currently, my work on this is in four projects:
org.jgrapht(which has the jpgrapht dependency)org.osate.slicer(the core functionality)org.osate.slicer.releng(standard release engineering stuff)org.osate.slicer.tests(regression test suite)
@lwrage Do you have thoughts / opinions on where these projects should go? I assume analyses but perhaps tools or somewhere else?
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.