Il volume è dedicato all'introduzione di metodologie derivate dall'Ingegneria del Software nella progettazione e nello sviluppo del software di controllo di sistemi per l'automazione industriale. Come esempio di applicazione di queste metodologie alla programmazione dei controllori a logica programmabile (PLC), è ampiamente descritto lo standard IEC 61131-3 e i linguaggi da esso proposti. Il volume fornisce inoltre vari esempi concreti di controlli di sistemi per l'automazione industriale, sviluppati mediante le metodologie introdotte e lo standard IEC 61131-3. Il libro è strutturato nei seguenti capitoli: il primo descrive le caratteristiche generali dei sistemi basati su PLC. Il secondo esamina il software come un vero e proprio prodotto industriale. Il capitolo tre analizza il processo di sviluppo del software industriale indicandone analogie e differenze rispetto alla tipica produzione industriale. Il capitolo quattro è interamente dedicato alla dei cinque linguaggi proposti dallo standard IEC 61131-3. Il capitolo cinque fornisce varie raccomandazioni per un uso corretto e proficuo del linguaggio SFC. Infine il capitolo sei presenta alcuni esempi concreti di applicazione delle metodologie consigliate.