Sikeres CERN együttműködés

Kutatócsoportunk sikeresen együttműködött a CERN kutatóival egy olyan automatikus eszköz fejlesztésében, ami PLC programok formális verifikálására szolgál.

A CERN mérnökei nagy számban használnak programozható logikai vezérlőket (PLC-ket) a fizikai infrastruktúra működtetéséhez. A vezérlők kritikus feladatokat látnak el a kísérletek futása közben, így az alkalmazott programok helyességének ellenőrzése a fejlesztés fontos lépése. Az együttműködés során a Theta eszközünket verifikációs háttéreszközként integráltuk a CERN PLCverif eszközébe. Az integrált eszköz a CERN által adott 90 PLC program mindegyikét sikeresen ellenőrizte.

A projekt angol web lapján további részletek is olvashatók.