ASAF Kahvit: Proven - uusi työkalu automaatio-ohjelmistojen mallintarkastukseen

27.11.2026 13:30 - 27.11.2026 14:00

Aiheesta alustaa: Antti Pakonen, Semantum. Vapaamuotoinen Teams-keskustelutilaisuus alustuksen pohjalta.

"Kattavasti testattu" on helppo sanoa, mutta vaikeampi näyttää toteen. Mallintarkastus perustuu sen sijaan matemaattiseen todistamiseen. Suunnitteluvirheitä on siten usein löytynyt myös logiikoista jotka oli jo "kattavasti testattu".

Proven on Semantumin kehittämä työkalu toimilohkokaavioiden mallintarkastukseen. Proven pitää kirjaa vaatimusten pitävyydestä, animoi vastaesimerkit,  ja tuottaa tarkastusraportteja. Toimilohkokaaviot voi joko piirtää itse, tai generoida PLCopen XML-tiedostosta.


Ilmoittautuminen

Tapahtuma on  maksuton, mutta edellyttää ilmoittautumista:  ilmoittautumislinkki, TBA 
Saat osallistumislinkin tapahtumaan ilmoittautumisen yhteydessä.

ASAF kahveista ei tehdä tallennetta.
 

ASAF Kahvit on vapaamuotoinen Teams-keskustelutilaisuus alustuksen pohjalta
ASAF Kahvit jatkuvat parittomien kuukausien viimeisenä perjantaina klo 13.30-14.00/14.15 Automaatioseuran Teamsin kautta. 

Lisätietoja: office [at] automaatioseura.fi

#functionalsafety #security #cybersecurity #industrialautomation