Az evopro Innovative Solutions ágazata, Theisz Zoltán kollégánk és az Ericsson közös publikációja révén újabb elismerésre tett szert. A MOPAS 2011 konferencián "Best Paper Award" díjat nyert a cikk.

A nemzetközi akadémikusokat, kutatókat és ipari szereplőket tömörítő szövetség az IARIA (International Academy, Research, and Industry Association) különböző tudományos konferenciák és publikációk szervezését és megjelentetését teszi lehetővé. A második nemzetközi MOPAS konferencia 2011. április 17-22. között került megrendezésre Budapestben. Az eseményen az említett publikáció fókuszában a modell alapú elosztott komponens-rendszerek dinamikus rekonfigurációjának formális ellenőrzése állt.

A díjnyertes cikk újdonságértéke abban rejlik, hogy a dinamikus komponens-rendszerek során már bevezetett meta-modell alapú fejlesztési folyamatot kiegészíti egy formális ellenőrzési fázis, amely során megvizsgálhatóvá válik a tervezendő rendszer által felvehető konfigurációk megfelelő vagy tiltott állapota. A módszer eredetiségét az adja, hogy a komponens-rendszer meta-modellezett elemeinek szemantikája elsőrendű logikai formulákba önthető, ami aránylag egyszerűen le is írható Alloy-ban és így verifikálható az Alloy Analyzer-ben. Bár a módszer univerzális, a modell-ellenőrzéseknél a természetes állapotrobbanás itt is csak kisméretű példák esetében teszi alkalmazhatóvá az eljárást. Ezért konkrét problémák vizsgálatához mindig „egészséges mérnöki absztrakció” szükséges, de remélhetőleg a K+F egyes beágyazott rendszereinek megvalósíthatósági tanulmányai során a módszer alkalmazást nyerhet.

A cikk teljes terjedelmében itt olvasható.