A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Reliability"
DOI: 10.1109/tr.2018.2849013
Abstract: Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in unified modeling language activities… read more here.
Keywords: fault; fault tree; method; formal transformation ... See more keywords