Sikeresen zárult a MOGENTES projekt

2011. május 26-án a MOGENTES ("Modell bázisú teszgenerálás szolgáltatásbiztos beágyazott rendszerekben") konzorcium sikeresen mutatta be az EU képviselőinek az elmúlt három év során elért eredményeket, és kiérdemelte a "kiváló projekt" minősítést.

Csoportunk a sikerekhez a valósidejű alkalmazásokra történő UPPAAL alapú tesztgenerálással, az általános eszközintegrációs keretrendszer kidolgozásával és a tesztgenerálási folyamatok ebben való megvalósításával, ill. az integrációs munka koordinálásával járult hozzá.

A projektet a csoportban dr. Majzik István vezette és fő közreműködői dr. Polgár Balázs és dr. Pintér Gergely voltak.

A beszámolónak a Ford kölni kutatócentruma adott otthont, ahol megtekinthettük a tesztlaborjukat is. Csoportunkat a záró értékelő gyűlésen  Dr. Polgár Balázs és Dr. Pataricza András képviselte.

A bírálók külön is kiemelték, hogy a projekt munkájának eredményeként a biztonságkritikus rendszerek fejlesztését szabályozó IEC 61508-as szabványba is bekerült a Modell alapú tesztelés és tesztgenerálás mint a magasabb biztonságintegritási szinteken erősen ajánlott módszer.