Verifica conformità del software a specifica Welmec

Il sistema operativo di SlimLine ed il tool di sviluppo LogicLab prevedono una serie di accorgimenti per controllare che il programma caricato sul prodotto sia il programma desiderato, unendo le varie protezioni ritengo sia possibile “blindare” efficacemente il programma.
 
Correttezza programma
Per garantire la correttezza del programma, cioè essere certi che il programma eseguibile non sia corrotto da eventuali errori nella fase di download e/o da cancellazioni accidentali di bytes nella memoria Flash. Ad ogni start del programma PLC, viene eseguito un controllo di checksum sull’intero programma e comparato il risultato con il valore calcolato da LogicLab nella fase di compilazione, se i risultati sono discordanti il programma PLC non viene eseguito. Questo evita di eseguire programmi corrotti.
 
Validazione programma
Per validare il programma, cioè essere certi che il programma sia quello desiderato, è previsto un numero univoco che LogicLab calcola in fase di compilazione programma. Visualizzando questo numero si è certi che il programma è quello desiderato e non un diverso programma trasferito da una persona fraudolenta.

Il numero univoco si trova nelle variabili di sistema System variables di sola lettura, si tratta di una variabile UDINT a 32 bits e si chiama SysApplID.

Per poterla leggere da modbus occorre trasferirla in una variabile allocata nella DB100 in modo da essere accessibile dai comandi modbus di lettura registri.

Attenzione! Le variabili DW in area DB100 devono essere sempre allocate in indirizzi divisibili per 4, le variabili W in indirizzi divisibili per 2.

Allego per il download un semplice programma che ne esegue l’appoggio in MD100.16, l’appoggio è effettuato nella task di boot. Da modbus devi leggere 2 registri a partire da indirizzo 40008.

Come detto precedentemente, il sistema operativo dello SlimLine esegue un checksum dell’intero programma utente.

In pratica viene eseguita una somma byte per byte di tutta l’area di memoria destinata al programma utente, la somma ritorna una variabile a 32 bits, gli overflows della somma vengono persi. Il cuore dell’algoritmo di calcolo è il seguente:

    for(n=0; n<CodeSize; n++)
        CheckSum+=(uint32_t)ProgramCode[n];