search

osate / osate2

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

FTA tree rendering issue in SafetyTutorial #2390

Closed weinstoc closed 2 years ago

weinstoc commented 4 years ago

Summary

When running a FTA on an instantiation of GPS.basic in GPSSystem.aadl in the SafetyTutorial example the generated tree is collapsed when rendered.

Expected and Current Behavior

Fault trees (generated using Analyses->Safety->Run Fault Tree Analysis) have generally been readable without major reformatting of the resulting tree. For example this tree was generated by analyzing System Impl GPS.parts_TwoSensor.

Screen Shot 2020-07-17 at 9 43 58 AM

When doing the exact same analysis on System Impl GPS.basic one gets this tree:

Screen Shot 2020-07-17 at 9 46 57 AM which can be fixed by doing a Layout->All. It is not clear why the Layout->All step should be necessary in this instance but not the other.

Steps to Reproduce

  1. Open the GPSSystem.aadl file in the example specified above.
  2. Instantiate System Impl GPS.basic
  3. Analyses->Safety->Run Fault Tree Analysis with these parameters Screen Shot 2020-07-17 at 9 35 30 AM

Environment

weinstoc commented 4 years ago

This appears to be fixed on version 2.8.0vfinal. At least I cannot reproduce it now.