CausCheck : Causality Checking for Complex System Models
I’m currently developing a new method for automated safety analysis of complex systems. This method is called Causality Checking and allows for the automated generation of fault trees out of system or software architectures in SysML or UML. This post gives an overview of how Causality Checking works. CausCheck : Causality Checking for Complex System Models …
CausCheck : Causality Checking for Complex System Models Read More »