Doktorandka katedry informatiky Adéla Laštovičková získala na 18. ročníku mezinárodní konference Workshop on Discrete Event Systems (WODES) v nizozemském Eindhovenu prestižní ocenění Best Student Paper Award. Cenu obdržela za článek Verifying Nonblockingness and Deadlock-Freeness in Isomorphic Module Systems, na kterém spolupracovala se svým školitelem Tomášem Masopustem.
„Jestli byla na konferenci nějaká soutěžní atmosféra, pak jsem ji příliš nevnímala. Spíše jsem si užívala atmosféru konference jako takové, protože byla mou první. Tedy až po mé prezentaci, před ní jsem byla samozřejmě nervózní,“ uvedla Adéla Laštovičková.
Do finále postoupilo pět nejlepších příspěvků
Tajná porota na základě recenzí vybrala pět nejlepších příspěvků, jejichž autoři se o postupu dozvěděli až krátce před samotným vyhlášením. Z těchto pěti finalistů pak porota po zohlednění studentských prezentací určila tři nejlepší. Článek Adély Laštovičkové získal v soutěži první místo.
Oceněný článek se zabývá ověřováním dvou důležitých vlastností modulárních systémů s izomorfními moduly, neblokovanosti a absence deadlocku. Velmi zjednodušeně si lze takový systém představit například jako dva roboty s mechanickou paží, kteří si mají potřást rukou. Roboti vypadají stejně a mohou provádět podobné akce, například zvedat a pokládat ruku nebo se synchronizovat a společně provést potřesení rukou.
Výzkum pomáhá odhalovat nežádoucí stavy systémů
„Systém by se nacházel v deadlocku ve chvíli, kdy by žádný z robotů nemohl provést žádnou další akci, například ani pohnout paží. Neblokující je naopak takový systém, v němž je z libovolného stavu možné dosáhnout přijímacího stavu. V uvedeném příkladu by tímto přijímacím stavem mohl být okamžik bezprostředně po potřesení rukou, tedy situace, kterou od systému očekáváme. Ať už mají roboti ruce v jakékoli poloze, systém je neblokující tehdy, pokud vždy existuje posloupnost akcí, která je k úspěšnému potřesení rukou dovede,“ doplnila Adéla Laštovičková.
Workshop on Discrete Event Systems je mezinárodní vědecká konference zaměřená na teorii a praktické aplikace diskrétních systémů (DES). Koná se pravidelně každé dva roky a technicky ji zaštiťuje mezinárodní federace IFAC (International Federation of Automatic Control).