Running Hazard Model Through Storm

Curtis Madsen via FLUENT Verification Project

Sat, 07 Sep 2019 16:28:12 -0600

I got a response from the developers of Storm concerning the error I was getting when running our hazard model through it.  As suspected, Storm runs out of memory and is unable to build and analyze the model.

Using a hybrid engine, the developer was able to build the full model resulting in:

States:     78502725751 (41 nodes)
Transitions:     756433549455 (3325617 nodes)

However, he was still unable to analyze the model due to memory issues.

He asked if we were able to analyze the model using PRISM.  Did any of you successfully run the model through PRISM?

tools models

Zhen Zhang

Sat, 07 Sep 2019 16:35:48 -0600

Thank you for the feedback. As far as I know, we have not had success using PRISM using both explicit and hybrid approach. STAMINA gives large probability bound (close to [0, 1]). @thakurneupane, is this correct?