search

osate / osate2

Open Source AADL2 Tool Environment
http://osate.org
Eclipse Public License 2.0
39 stars 8 forks source link

Fault Tree Analysis has an infinite loop / gives an unhandled event loop exception #2114

Closed sprocter closed 4 years ago

sprocter commented 4 years ago

Summary

I'm trying to compute a fault tree for part of an aircraft's wheel braking system, but getting an error that there's an infinite loop / stack overflow occurring.

Expected and Current Behavior

Expected: OSATE should generate and display a fault tree.

Actual: A popup box titled "Problem Occurred" appears, and says:

Unhandled event loop exception java.lang.StackOverflowError

The terminal fills up with these lines:

    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.traverseCompositeErrorState(PropagationGraphBackwardTraversal.java:1011)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:714)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.traverseCompositeErrorState(PropagationGraphBackwardTraversal.java:1011)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:714)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.traverseCompositeErrorState(PropagationGraphBackwardTraversal.java:1011)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:714)
    at org.osate.aadl2.errormodel.PropagationGraph.util.PropagationGraphBackwardTraversal.processCondition(PropagationGraphBackwardTraversal.java:641)

Steps to Reproduce

  1. Load the "GTSE-Examples" project from the GATSE repo into OSATE
  2. Instantiate the DecelerateAircraft.basic system implementation, which is located in GTSE-Examples/ARP4761/advanced/functional/decelerate.aadl
  3. Run the Fault Tree Analysis tool on the model with the following (default) settings: FTA Exception Screenshot

Environment

jjhugues commented 4 years ago

Seems also present in OSATE2.6.0

lwrage commented 4 years ago

Exception happens in 2.5.1, already, so this is not a newly introduced bug.

reteprelief commented 4 years ago

Addressed by fix for issue #2123 in pull request #2135