Prehľad bakalárskych prác súvisiacich so študijným programom
Prehľad bakalárskych prác súvisiacich so študijným programom
Prehľad bakalárskych prác súvisiacich so študijným programom
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Ing. Michal Michal ŽARNAY ŽARNAY, ŽARNAY PhD.<br />
Michal.Zarnay@fri.uniza.sk | tel. 041/5134 224 | číslo dverí A216<br />
Formálna Formálna analýza analýza dispečerského dispečerského riadenia riadenia v v simulátore simulátore prevádzky<br />
prevádzky<br />
na na vodnej vodnej ceste ceste WWSim WWSim<br />
WWSim<br />
Cieľ Cieľ <strong>prác</strong>e <strong>prác</strong>e<br />
<strong>prác</strong>e<br />
Obsah<br />
Obsah<br />
Použitím Petriho siete vykonajte formálnu analýzu dispečerského riadenia, ktoré<br />
nacvičujú používatelia simulátora prevádzky na vodnej ceste WWSim.<br />
Model zahrnie správy prijímané z prevádzky na vodnej ceste aj s určenou<br />
pravdepodobnosťou ich neúplnosti a pokyny dispečera s určenou pravdepodobnosťou<br />
ich chybovosti. Z analýzy identifikujte stavy uviaznutia a postupnosti krokov, ktoré k<br />
nim vedú, a určite zoznam upozornení pre dispečera, ktoré musí rešpektovať, aby<br />
predišiel stavom uviaznutia (v akom poradí spracúvať prichádzajúce správy, na ktoré<br />
položky klásť zvýšenú pozornosť a pod.).<br />
Podľa vhodnosti si vyberte ča<strong>so</strong>vanú alebo neča<strong>so</strong>vanú Petriho sieť. Pokúste sa<br />
zostaviť model tak, aby údaje o vodnej ceste a iné parametre špecifické pre vodnú<br />
cestu sa načítali z externého súboru.<br />
Odporúča sa použitie hierarchickej farbenej Petriho siete a nástroja CPN Tools, ktoré<br />
možno naštudovať v rámci predmetu 5IA05 Petriho siete.
Change language