A vezeték nélküli szenzorhálózatok (WSN) az Internet of Things alkalmazási területéhez tartoznak. Számos szenzoregységből állnak, amelyek közösen egy területet, vagy természeti viszonyokat figyelnek egy adott helyen. Ahhoz, hogy egy ilyen hálózat megfelelően működjön, különböző biztonsági követelményeknek kell megfelelniük. Az SMT, azaz Satisfiably Modulo Theories formalizáció lehetővé teszi, hogy SMT szolverek segítségével egy optimális ütemezést adhassunk, ezeknek a követelményeknek a betartásával. Szintén fontos, hogy ennek a WSN-nek az élettartama a lehető leghosszabb legyen. OMT, azaz Optimization Modulo Theories szolverek segítségével kapható egy olyan ütemezés, mely célja az energiahatékonyság. Munkánkban három OMT szolvert hasonlítottunk össze véletlenszerűen generált szenzorhálózatok példányain, név szerint: OptiMathSAT, Symba és a Z3.
A kutatást / publikációst támogatta az EFOP-3.6.1-16-2016-00001 „Kutatási kapacitások és szolgáltatások komplex fejlesztése az Eszterházy Károly Egyetemen” c. pályázat.
