Biztonságkritikus rendszereket általában magasszintű modellekkel írunk le, mert az precizebb leírást ad, mint a tradicionális dokumentum-központű megközelítés. A magasszintű mérnöki modellek azonban csak akkor hasznosak, hogyha megbízhatunk azok struktúrájában és az általuk leírt viselkedés helyességében. Mivel ezt kézzel költséges vizsgálni és garantálni, manapság automatizált V&V eszközökkel tehermentesítjük a rendszermérnököket.

Habár vannak ilyen eszközök, a fejlesztésük és elkészítésük rendkívül költséges, mert gyakran újabb nyelvek támogatásához rendszerint mindent újra kell implementálnunk, mert a nyelvek apróbb sajátosságai ellehetetlenítik az újrahasználhatóságot.

Ennek kiküszöbölésére újszerű megközelítés a szemantikus modellek alkalmazása, amely az eszköz forráskódja helyett egy külső, könnyedén cserélhető és módosítható modellben tárolja a nyelv strukturális és viselkedési sajátosságait, úgymond "scriptelési" lehetőséget adva a V&V eszköz felett. A megközelítés előnye, hogy újabb nyelvek támogatása valamint meglévő eszközök módosítása már megtörténhet a konkrét V&V eszköz forráskódjának módosítása és újrafordítása nélkül, ami drasztikusan csökkenti a szükséges erőforrást.

Kutatási munkám során a Semantifyr keretrendszer segítségével vizsgálom a szemantikus modellezési megközelítés alkalmazhatóságát klasszikus és ontológikus nyelvek esetén, különleges tekintettel a 1) V&V folyamat hatékonyságára a megfelelő viselkedési-absztrakció meghatározására; valamint 2) újabb és meglévő modellezési nyelvek támogatására.