This article appropriately describes the safety dynamics of switching control systems under the most realistic and popular failure mode of a switching unit, 'locking', by introducing a new idea of situation-dependent basic events in dynamic fault trees with restorable basic events. As a result, possible non-coherence in the safety dynamics is pointed out for the first time. This article also presents a safety analysis framework based on the Markov analysis in order to address the non-coherence correctly.