Cost Model interface automatically changes Component/Connection in certain situations

ge-high-assurance / VERDICT

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

https://ge-high-assurance.github.io/VERDICT

BSD 3-Clause "New" or "Revised" License

40 stars 14 forks source link

Cost Model interface automatically changes Component/Connection in certain situations #230

Open AbhaMoitra opened 2 years ago

AbhaMoitra commented 2 years ago

Under certain click orders, the value in Component/Connection column reverts to the first Component.

To reproduce, do as follows: Here is the starting view of the cost model interface.

Now click on Implementation value in 2nd row then click on Cost value and change it to some other value (say 16). It changes the Component to "actuation"

Changing the cost value should not alter the Component value.

baoluomeng commented 2 years ago

Unfortunately, at the time we were implementing this, it was taking too much effort to get it correct. So we stopped advocating it. So the best way to use cost model right now is to use the xml file (https://github.com/ge-high-assurance/VERDICT/wiki/MBAAS#model-based-architecture-synthesis-mbas).

Currently, I am not funded to do VERDICT related work. It would be nice to have maybe Chris to take a look at it. @chrisage The idea is to synchronize the GUI and xml file.