Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
Christian Schallert · Linköping electronic conference proceedings · 2015
This paper describes, exemplifies and substantiates a method for detection of the minimal path set of any fault-tolerant technical system that is represented as a multi-domain object-oriented model.Thus, the method automatically performs a safety or reliability analysis of the system.