Keretrendszer valósidejű rendszerek verifikációjához

A formális módszerek fontos szerepet játszanak biztonságkritikus rendszerek helyességének biztosításában. A formális technikák ipari alkalmazása azonban számos akadályba ütközik: a szakértők hiánya és a formális specifikációs nyelvek bonyolultsága megnehezíti a formális módszerek gyakorlati felhasználását. Munkám célja a formális módszerek és a mérnöki gyakorlat közötti szakadék áthidalása egy valósidejű rendszerek hatékony modellezését lehetővé tevő nyelvi keretrendszer definiálásával.

A kutatási beszámoló innen tölthető le (PDF)

Tóth Tamás
PhD-hallgató
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
totht@mit.bme.hu

2015.01.19.