Optimization of WSNs by Formal Methods

Szenzorhálózatokhoz generálunk maximális élettartamot lehetővé tevő ütemezést, miközben a hálózatra vonatkozó bizonyos biztonsági kikötéseket nem sértjük meg.

Az optimális ütemezést OMT (Optimization Modulo Theories) szolverek segítségével generáljuk. Saját OMT szolverünket pedig ezek futási eredményeivel vetjük össze.

A szenzorhálózatok ütemezésén kívül egyéb klasszikus optimalizálási feladatokkal is teszteljük a szolvereket, pl. hátizsák probléma, minimális feszítőfa.

Eddigi cikkeink a témában:

G. Kovásznai, Cs. Biró, B. Erdélyi. Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers

G. Kovásznai, B. Erdélyi and Cs. Biró: Investigations of Graph Properties in Terms of Wireless Sensor Network Optimization (megjelenés alatt)

Tervek 2018-ra:

  • március elejéig WSN és knapsack benchmarkokon való futtatása OMT szolvereknek (esetlegesen konferencia cikk)
  • május elejéig saját OMT szolverünk továbbfejlesztése kvantoros SMT-LIB problémák kezelésére (konferenciacikk)
  • jelenlegi pályázat keretében 2018. végéig további kutatások és futtatások (esetlegesen folyóirat cikk)