A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model.
Charles E. DickersonRosmira RoslanSiyuan JiPublished in: CoRR (2018)
Keyphrases
- probabilistic model
- statistical model
- objective function
- linear model
- mathematical model
- optimization method
- qualitative and quantitative analysis
- cost function
- generation method
- formal model
- similarity measure
- metamodel
- test data
- optimization model
- real time
- fault tree
- conceptual model
- optimization process
- model selection
- rough sets