Digitális rendszerek tervezés-verifikálása

Széchenyi István Egyetem

Multidiszciplináris Műszaki Tudományi Doktori Iskola

Benyó Balázs

informatikai tudományok

Bonyolult és nagyméretű digitális rendszerek fejlesztése általában többlépcsős folyamat. A rendszer kezdeti specifikációjából kiindulva több fejlesztési fázison keresztül jutunk el a működő rendszer előállításáig. A fejlesztési fázisok a kezdeti specifikációban definiált rendszer mind részletesebb leírását, modelljét állítják elő. A hagyományos rendszerfejlesztési gyakorlat szerint a rendszereket gyakran csak a végső fejlesztési fázis után tesztelik, ami nagyon megnöveli az esetleges hibák kijavításának költségeit. A hibák javításának költsége, és ezáltal az egész fejlesztés hatékonysága megnövelhető, ha az egyes fejlesztési fázisok közé verifikációs lépéseket iktatunk be, melyek az adott fázisban előállított rendszerleírás (modell) helyességét ellenőrzik. A doktori kutatás célja olyan módszerek és eljárások kifejlesztése, melyek jól illeszkednek a rendszerfejlesztés lépéseihez, és kis fejlesztési ráfordítással lehetővé teszik a fejlesztés során előállított rendszermodellek verifikálását.

1 fő

2010-12-31