Safety Conflict Analysis in Medical Cyber-Physical Systems using an SMT-Solver
This paper presents a method to include safety system conflicts into a fault tree analysis (FTA) with semantic extensions of fault events. The verification of the incoherent fault tree is done with an SMT-Solver. As an example a networked setup of medical devices for extracorporeal lung assist was analyzed. The method is developed as a basis for improved safety analysis of networked systems.