Los sistemas críticos de seguridad que incorporan técnicas de pruebas en línea concurrentes son vulnerables a problemas de diseño que provocan la degradación de la propiedad de autoverificación total (TSC), lo cual se ha demostrado que es fatal para operaciones futuras (por ejemplo, electrónica espacial, dispositivos médicos).