Przyznanie finansowania na projekt badawczy OPUS

Miło nam poinformować, że dr hab. Bożena Woźna-Szcześniak, prof. UJD otrzymała 1 327 800 zł na realizację projektu badawczego „Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego”, finansowanego w ramach programu OPUS 29 Narodowego Centrum Nauki.

Celem projektu jest opracowanie nowych modeli formalnych, języków specyfikacji oraz technik automatycznej weryfikacji dla otwartych systemów wieloagentowych czasu rzeczywistego, stosowanych m.in. w logistyce, inteligentnym transporcie, infrastrukturze krytycznej i rojach robotów. Badania obejmują tworzenie nowych języków logicznych oraz algorytmów sprawdzania własności takich systemów, z uwzględnieniem ograniczeń czasowych, zmiennej liczby agentów oraz złożonych interakcji między nimi.

Projekt łączy logiki czasu, wiedzy, norm i zobowiązań z zaawansowanymi technikami symbolicznymi (SAT, SMT, diagramy decyzyjne), wykorzystywanymi w weryfikacji modelowej, która zapewnia matematyczne gwarancje poprawności działania systemów. W efekcie powstanie otwarte narzędzie weryfikacyjne, testowane na realistycznych scenariuszach, takich jak modele rojów robotów.

Rezultaty badań obejmą nowe algorytmy, wyniki teoretyczne oraz narzędzie umożliwiające analizę systemów dotychczas uznawanych za zbyt złożone do formalnej weryfikacji. Projekt wesprze także kształcenie młodych naukowców, w tym realizację rozprawy doktorskiej.

Oprac.: dr hab. Bożena Woźna-Szcześniak, prof. UJD