1.2.4. Detección de Errores Comunes de Lógica

1. Patología del Código: Anatomía de los Fallos Lógicos

1. La Doble Asignación de Bobinas (Multiple Coil Syndrome)

El error lógico más letal, insidioso y común que comete un programador junior de autómatas es la fatídica "Doble Asignación de Bobina". En la inocencia del pensamiento eléctrico lineal, el programador escribe en el Segmento 1: "Si aprieto el Botón_A, enciende el Motor (Q0.0)". Más abajo, en el Segmento 400, inmerso en otra rutina, vuelve a escribir distraidamente: "Si el Sensor_B detecta pieza, enciende el Motor (Q0.0)". El desastre matemático está servido. El PLC no se detiene ni da un error de compilación. En cada ciclo de Scan, lee las entradas y ejecuta el código línea a línea secuencialmente de arriba abajo. Cuando procesa el Segmento 1 (con Botón_A pulsado), pone la memoria de Q0.0 a 1 (Verde). Pero nanosegundos después, al procesar el Segmento 400 (con Sensor_B inactivo), sobrescribe implacablemente esa misma memoria Q0.0 a 0. Al finalizar el barrido completo, el PLC actualiza físicamente la tarjeta de salidas y vuelca un 0 rotundo. El motor jamás arranca. El técnico frustrado mirará la pantalla online, verá el Segmento 1 encendido en verde fosforescente brillante, y no comprenderá por qué la salida física no se activa, ignorando que el Segmento 400 está asesinando la señal justo al final del ciclo. Este fallo estructural flagrante viola las normativas TQA de programación estructurada limpia e industrial.

2. Ausencia Crítica de Enclavamientos (Interlocks) y Secuencias Cruzadas

Otro fallo cataclísmico en el diseño del software es la ceguera funcional: programar el comportamiento deseado pero ignorar el comportamiento prohibido. Imagina el puente grúa de una fundición que posee dos contactores masivos (K1_Subir y K2_Bajar) para izar su enorme cucharón de acero fundido. El programador escribe lógicamente que pulsar "Arriba" activa K1 y pulsar "Abajo" activa K2. Pero, ¿qué sucede si un operario aterrado apoya ambas manos sobre la botonera, aplastando simultáneamente los botones de "Arriba" y "Abajo"? Si el software carece de un Enclavamiento Cruzado estricto (insertar un contacto normalmente cerrado (NC) de K2 en la línea de K1, y viceversa), la CPU del autómata ordenará heroicamente la activación de ambas bobinas de forma síncrona. Los robustos contactores se cerrarán al unísono, inyectando tensión trifásica cruzada directa en el devanado del motor, provocando un cortocircuito fase-fase brutal que calcinará la máquina y reventará las protecciones magnetotérmicas del armario principal, poniendo en grave riesgo la vida de los técnicos circundantes y la continuidad de la acería entera de forma fulminante y destructiva.

3. Bucles Infinitos y Flancos No Acondicionados

En el terreno más abstracto de los lenguajes de alto nivel (como Texto Estructurado SCL), el error más temido es el Bucle Infinito. Si un desarrollador programa un `WHILE (Variable_X < 100) DO .` y olvida incrementar matemáticamente la `Variable_X` dentro de la ejecución del bucle, el microprocesador quedará atrapado para siempre en ese laberinto sin salida lógica. Como el autómata no puede abandonar esa línea para finalizar el ciclo de scan e interrogar nuevamente a las entradas físicas, el Perro Guardián (Watchdog Timer) agotará su límite (usualmente 150 milisegundos) e intervendrá despóticamente ordenando un apagado de emergencia (STOP fatal) de la CPU completa, hundiendo la planta en el silencio. Por último, un error sutil pero tremendamente destructivo es ignorar el tratamiento de Flancos (Edge Detection). Si programamos que un contador incremente su valor +1 cuando la fotocélula detecte una botella, y no usamos un detector de Flanco Positivo (P), el PLC sumará miles de veces el valor +1 durante el medio segundo que la botella permanece frente a la lente física, provocando un desbordamiento numérico inmediato en los registros del programa sin que haya pasado más de una sola botella real frente al sensor óptico.