Verifica formale di logiche di controllo di impianti processo

• 
• Tweet
• Pin It
• Condividi per email

Nell’articolo viene esaminata un’applicazione per il controllo di un impianto di energia per illustrarne i vantaggi e proporre possibili soluzioni al problema della verifica formale per sistemi di controllo industriale.

L’applicazione riguarda il controllo logico di un sistema di estrazione di acqua condensata per un impianto di energia convenzionale. Partendo dalla teoria della verifica formale e dagli algoritmi di verifica automatica, si passeranno in rassegna le problematiche di modellazione e verifica con riferimento a uno specifico tool (Spin), un checker di modelli logici. Infine, vengono presentati i risultati della verifica completa del sistema.

Scarica l'allegato

• 
• Tweet
• Pin It
• Condividi per email