Karlo Sambolec

Projektni zadatak
Va zadatak je modelirati protokol za prijenos podataka izmeu
predajnika i prijamnika preko meuspremnika i komunikacijske mree
prema specifikaciji u nastavku.

Specifikacija protokola
Predajnik alje pakete prijamniku preko komunikacijske mree. Prijamnik
provodi provjeru rednog broja svakog primljenog paketa te alje potvrdu
predajniku. Komunikacija izmeu predajnika i prijamnika je sinkrona,
predajnik alje novi paket tek kad primi potvrdu o primitku prethodnog
Diplomski studij paketa. Predajnik izvedite tako da se u sluaju isteka odreenog
Informacijska i vremena predvienog za primanje potvrde provodi retransmisija paketa.
komunikacijska tehnologija
Komunikacijsku mreu modelirajte tako da postoji mogunost gubitka u
Laboratorij prijenosu jedinice podataka. Mogu je gubitak i paketa i potvrde.
telekomunikacija i
informatike 1

Laboratorij iz obrade
informacija 1

Laboratorijski blok:
Pokrenite dva predajnika i dva prijamnika. Predajnik 1 alje pakete
Komunikacijski protokoli
prijamniku 2. Predajnik 2 alje pakete prijamniku 1. Vjerojatnost za
gubitak paketa je 0,25, a za gubitak potvrde 0,33.
Komunikacijska mrea prima i prosljeuje pakete sluajnim odabirom,
dok se potvrde primaju i prosljeuju naizmjenino. Kada mrea primi i
proslijedi potvrdu od jednog prijamnika, sljedea potvrda se obavezno
prima od drugog prijamnika sve dok jedan prijamnik ne primi sve poruke
i proslijedi sve potvrde.

U okviru projektnog zadatka potrebno je napraviti sljedee:

a) Modelirati protokol u programskom jeziku Promela.

b) Modelirani protokol verificirati koristei programski alat Spin i
raspraviti rezultate.
c) Modelirati zadani protokol pomou Petrijeve mree u alatu CPN
Tools.
d) Analizu protokola napraviti programskim alatom CPN Tools i
raspraviti rezultate.
e) Usporediti rezultate dobivene programskim alatima Promela/Spin
i CPN Tools.

U Promeli specificirajte poruku u obliku 10 paketa bez sadraja. U alatu

Ak.g. 2017./2018. CPN Tools definirajte da predajnik 1 alje poruku Riverlands, a
predajnik 2 poruku Westerlands. Svaki paket sadri maksimalno 1 znak
iz poruke.
Za dodatne upute oko izrade projektnog zadatka pogledajte dokument
Napomene objavljen u repozitoriju predmeta.