Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema...
Transcript of Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema...
![Page 1: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/1.jpg)
Telekomunikacijski Telekomunikacijski protokoliprotokoli
III.III.Drago HercogDrago Hercog
Univerza v Ljubljani, Univerza v Ljubljani, Fakulteta za elektrotehnikoFakulteta za elektrotehniko
Aplikativna elektrotehnikaAplikativna elektrotehnika--TKTK3. letnik3. letnik
20201111/20/201212
![Page 2: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/2.jpg)
Telekomunikacijski Telekomunikacijski protokoliprotokoli
Opis in specifikacija Opis in specifikacija protokolovprotokolov
![Page 3: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/3.jpg)
TK protokoli 3 Drago Hercog 3
Vrste sistemovVrste sistemov• analogni ali diskretni sistem• avtonomni ali odzivni sistem
• sistem diskretnih dogodkov• sistem, ki deluje v realnem času• sistem brez spomina / s spominom
vhodi sistem izhodi
![Page 4: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/4.jpg)
TK protokoli 3 Drago Hercog 4
SistemSistem
• Struktura in funkcionalnost• Specifikacija sistema
–zunanja struktura– funkcionalnost sistema
• Implementacija sistema–notranja struktura– funkcionalnost podsistemov–pravilnost implementacije
![Page 5: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/5.jpg)
TK protokoli 3 Drago Hercog 5
NaNaččrtovanje rtovanje telekomunikacijskega sistematelekomunikacijskega sistema
• načrtovalska metodologija• strukturirano načrtovanje• hierarhično načrtovanje• princip abstrakcije • načrtovalski koraki• načrtovalski proces: zaporedje
načrtovalskih korakov• preverjanje pravilnosti
![Page 6: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/6.jpg)
TK protokoli 3 Drago Hercog 6
Telekomunikacijski sistemTelekomunikacijski sistem• struktura
–protokolni osebki–kanali
• funkcionalnost–protokolna sporočila–dogodki–delovanje– spomin
![Page 7: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/7.jpg)
TK protokoli 3 Drago Hercog 7
Specifikacija protokola doloSpecifikacija protokola določčaa
• storitev• potrebne lastnosti kanala• abstraktno sintakso sporočil• (konkretno sintakso sporočil)• pravila za izmenjavo sporočil• (pomen sporočil)
![Page 8: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/8.jpg)
TK protokoli 3 Drago Hercog 8
Lastnosti specifikacije protokolaLastnosti specifikacije protokola
• enoumnost• logična pravilnost• popolnost• robustnost• standardiziranost• berljivost• implementacijska nepristranost
![Page 9: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/9.jpg)
TK protokoli 3 Drago Hercog 9
Specifikacija Specifikacija telekomunikacijskega protokolatelekomunikacijskega protokola
• podlaga za implementacijo• potrebne lastnosti• neformalna specifikacija
–neprimernost naravnega jezika (prebogat)
• formalna specifikacija– formalni jeziki za specifikacijo, FDT
![Page 10: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/10.jpg)
TK protokoli 3 Drago Hercog 10
Modeli za specifikacijo TK Modeli za specifikacijo TK sistemov in protokolovsistemov in protokolov
• modeliranje strukture– moduli– hierarhična modularna struktura
• modeliranje informacije– vrednosti– dogodki
• modeliranje funkcionalnosti– časovna shema, časovni diagram– končni avtomat– razširjeni končni avtomat– algebra procesov
![Page 11: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/11.jpg)
TK protokoli 3 Drago Hercog 11
Zunanja in notranja Zunanja in notranja strukturastruktura
vhod 1
vhod 2
sistem
modul 1 modul 2
modul 3
izhod
![Page 12: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/12.jpg)
TK protokoli 3 Drago Hercog 12
HierarhiHierarhiččna modularna strukturana modularna strukturasistem
m 3m 2m 1m 11 m 21
m 22m 221m 222
m 31
m 32m 12
m 13
sistem
m 2m 1
m 12 m 31
m 21
m 221
m 11 m 13 m 32
m 22
m 222
m 3
![Page 13: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/13.jpg)
TK protokoli 3 Drago Hercog 13
Specifikacija protokolnih Specifikacija protokolnih sporosporoččilil
• Abstraktna sintaksa• Konkretna (prenosna) sintaksa
(format sporočila)
![Page 14: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/14.jpg)
TK protokoli 3 Drago Hercog 14
Primer abstraktne sintakse Primer abstraktne sintakse informacijskega protokolnega informacijskega protokolnega sporosporoččila po protokolu HDLCila po protokolu HDLC
•I ( N(S), N(R), PF, paket )
![Page 15: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/15.jpg)
TK protokoli 3 Drago Hercog 15
Primer linearnega podajanja Primer linearnega podajanja formata informacijskega formata informacijskega protokolnega sporoprotokolnega sporoččila ila
(HDLC)(HDLC)
FLAG FLAGADD CONT uporabniško sporoèilouporabniško sporoèilo CRC
8 8 8 var 16 8
1 3 1 3
0 N(S) P/F N(R)
![Page 16: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/16.jpg)
TK protokoli 3 Drago Hercog 16
Primer dvodimenzionalnega Primer dvodimenzionalnega podajanja formata podajanja formata
informacijskega protokolnega informacijskega protokolnega sporosporoččila (HDLC)ila (HDLC)
FLAG
FLAG
ADD
CRC
0 N(S) P/F N(R)
7 6 5 4 3 2 1
1
1
1
var
2
1
0
protokolno sporoèilo
![Page 17: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/17.jpg)
TK protokoli 3 Drago Hercog 17
Primer Primer ččasovne shemeasovne sheme
AUArequest
t
connect
confirm acceptindication
B UB
![Page 18: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/18.jpg)
TK protokoli 3 Drago Hercog 18
KonKonččni avtomat (Finite ni avtomat (Finite State Machine State Machine -- FSM)FSM)
• vhodni dogodki• izhodni dogodki• stanje (končno mnogo stanj)• prehodi med stanji
![Page 19: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/19.jpg)
TK protokoli 3 Drago Hercog 19
KonKonččni avtomatni avtomat
S2
S1
S3
S4P12
P23 P14
P34
P43 P43'P13
P44
P21
![Page 20: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/20.jpg)
TK protokoli 3 Drago Hercog 20
Neformalni opis Neformalni opis telekomunikacijskih sistemovtelekomunikacijskih sistemov
• Modularna zgradba• struktura
– blok diagrami
• funkcionalnost sistema– časovne sheme– tekstovni opisi
• Funkcionalnost protokolnega osebka– specifikacije na osnovi modela– tekstovni opisi
![Page 21: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/21.jpg)
TK protokoli 3 Drago Hercog 21
Formalizmi za opis in Formalizmi za opis in specifikacijo protokolovspecifikacijo protokolov
• ASN.1 (Abstract Syntax No. 1)• SDL (Specification and Descrtiption
Language)• Estelle• Lotos (Language Of Temporal
Ordering Specifications)• MSC (Message Sequence Charts)
![Page 22: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/22.jpg)
TK protokoli 3 Drago Hercog 22
Abstract Syntax Notation Abstract Syntax Notation One (ASN.1)One (ASN.1)
• ISO• Jezik za formalno specifikacijo
abstraktne sintakse• Pravila za kodiranje (abstraktni
sintaksi priredijo prenosno sintakso)
![Page 23: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/23.jpg)
TK protokoli 3 Drago Hercog 23
ASN.1 ASN.1 -- nestrukturirani nestrukturirani podatkovni tipipodatkovni tipi
• INTEGER
• BOOLEAN
• REAL
• NULL
• ANY
• ENUMERATED
• BITSTRING
• OCTETSTRING
• IA5STRING
• GRAPHSTRING
![Page 24: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/24.jpg)
TK protokoli 3 Drago Hercog 24
ASN.1 ASN.1 -- strukturirani strukturirani podatkovni tipipodatkovni tipi
• SEQUENCE
• SEQUENCEOF
• SET
• SETOF
• CHOICE
![Page 25: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/25.jpg)
TK protokoli 3 Drago Hercog 25
Specifikacija in opis Specifikacija in opis telekomunikacijskih sistemov telekomunikacijskih sistemov
in protokolov:in protokolov:Specification and Description Specification and Description
Language (SDL)Language (SDL)• CCITT Z.100 / ITU-T Z.100• SDL/PR, SDL/GR• formalni/neformalni opis• specifikacija: zunanja struktura, funkcionalnost• opis: notranja struktura• možen učni pripomoček:
http://www.sdl-forum.org/sdl88tutorial/index.html
![Page 26: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/26.jpg)
TK protokoli 3 Drago Hercog 26
NaNaččrtovalska orodja, osnovana rtovalska orodja, osnovana na SDLna SDL
• urejevalniki specifikacij• simulatorji• prevajalniki v programsko kodo
![Page 27: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/27.jpg)
TK protokoli 3 Drago Hercog 27
Elementi jezikaElementi jezika
• tip objekta
• objekt
• deklaracije, definicije
• objekt: blok / signal / proces /
spremenljivka
tekstovnedeklaracije
![Page 28: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/28.jpg)
TK protokoli 3 Drago Hercog 28
StrukturaStruktura• sistem• blok
–struktura• podbloki• kanali
– funkcionalnost• procesi• signalne poti
• kanal
block b n s( )
strukturni ali funkcionalniopis bloka
b
p
Ch Ch[ ]S [ ]S1 [ ]S2
![Page 29: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/29.jpg)
TK protokoli 3 Drago Hercog 29
FunkcionalnostFunkcionalnost• procesi, signalne poti
• informacija–statična: vrednosti
–dinamična: dogodki
• podatkovni tipi, spremenljivke
• procesi
• signali
p
Sp Sp
[ ]S [ ]S1 [ ]S2
![Page 30: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/30.jpg)
TK protokoli 3 Drago Hercog 30
Podatkovni tipiPodatkovni tipi• Boolean• Character• Charstring• Integer• Real• Time• Duration• strukturirani tipi• abstraktni podatkovni tipi
![Page 31: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/31.jpg)
TK protokoli 3 Drago Hercog 31
DeklaracijeDeklaracije
• signali– deklariramo v sistemu ali bloku– signal S;– signal S (tip)– signal S (tip,tip) ...
• spremenljivke– deklariramo v procesu– dcl V tip;
• časovniki– deklariramo v procesu– timer časovnik;
![Page 32: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/32.jpg)
TK protokoli 3 Drago Hercog 32
Specifikacija procesaSpecifikacija procesa
• razširjeni končni avtomat
• stanja
• vhodi/izhodi
• vhodna čakalna vrsta
• spremenljivke
• časovniki
process p n s( )
specifikacija procesa
![Page 33: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/33.jpg)
TK protokoli 3 Drago Hercog 33
Model procesaModel procesa
sporoèilo
sporoèilosporoèilo
sporoèilo
Q
konèni avtomat
stanje
prehod
p r o c e s
![Page 34: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/34.jpg)
TK protokoli 3 Drago Hercog 34
Elementi specifikacije procesaElementi specifikacije procesa
• začetek• stanje• vhod• izhod• shrani• prireditveni stavek• krmiljenje časovnika• kretnica• zaustavitev
stanje
s s v( )
s s v( )
s
izraz vrednost2vrednost2
v izraz:=
set čas časovnik( , ) reset časovnik( )
![Page 35: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/35.jpg)
TK protokoli 3 Drago Hercog 35
Prehod v novo stanjePrehod v novo stanje
staro
novo
s
staro
s
novo
(a) (b)
staro
novo2novo1 novo3 novo4
s2s1 s3 s4
![Page 36: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/36.jpg)
TK protokoli 3 Drago Hercog 36
Zgled: uraZgled: ura
struktura funkcionalnost
system clock
click
SIGNAL click;
clock
1(1)System clock
tictac
click
clock
1(1)Block clock
tictac
w ait
set(now +d,t)
click
t
w ait
w ait
set(now +d,t)
click
d:=1
TIMER t;DCL d Duration;
1(1)Process clock
![Page 37: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/37.jpg)
TK protokoli 3 Drago Hercog 37
Zgled: ura s Zgled: ura s šštetjemtetjem
struktura funkcionalnost
system clock
click
SIGNAL click(Integer);
clock
1(1)System clock
tictac
clickclock
1(1)Block clock
tictac
n:=n+1n:=0
w ait
set(now +d,t)
click(n)
t
w ait
w ait
set(now +d,t)
click(n)
d:=1
TIMER t;DCL d Duration;DCL n Integer;
1(1)Process clock
![Page 38: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/38.jpg)
TK protokoli 3 Drago Hercog 38
Zgled: uporabnika in izvajalec storitveZgled: uporabnika in izvajalec storitve
systemTKsystem
ack ipdu
ind
resp
conf
req
rectrans
SIGNAL req;SIGNAL ind;SIGNAL resp;SIGNAL conf;SIGNAL ipdu;SIGNAL ack;
u2u1
1(1)System TKsystem
sap1 sap2
kanal
![Page 39: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/39.jpg)
TK protokoli 3 Drago Hercog 39
Zgled: uporabnika in izvajalec storitve Zgled: uporabnika in izvajalec storitve (hierarhi(hierarhiččna struktura)na struktura)
systemTKsystem
ind
resp
conf
req
SIGNAL req;SIGNAL ind;SIGNAL resp;SIGNAL conf;
provider
u2u1
1(1)System TKsystem
sap1 sap2
ind
respreq
conf
SIGNAL ipdu;SIGNAL ack; ack ipdu
rectrans
1(1)Block provider
ch
sap11
sap1
sap22
sap2
![Page 40: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/40.jpg)
TK protokoli 3 Drago Hercog 40
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- sistemsistem(zelo pomanjkljivo!)(zelo pomanjkljivo!)
TKsystem
ack ipdu
ind
req
rectrans
u2u1
SIGNAL req;SIGNAL ind;SIGNAL ipdu;SIGNAL ack;
1(1)Block TKsystem
sap1sap2
chan
![Page 41: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/41.jpg)
TK protokoli 3 Drago Hercog 41
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- protokolna osebkaprotokolna osebka(zelo pomanjkljivo!)(zelo pomanjkljivo!)
req
w ait_ack
set(now +1,t)
ipdu
t
w ait_req
reset(t)
ack
w ait_ack
w ait_ack
set(now +1,t)
ipdu
req
w ait_req
TIMER t;1(1)Process trans
w ait
ack
ind
ipdu
w ait
w ait
1(1)Process rec
![Page 42: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/42.jpg)
TK protokoli 3 Drago Hercog 42
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- uporabnikauporabnika(zelo pomanjkljivo!)(zelo pomanjkljivo!)
req
req
req
req
req
1(1)Process u1
w ait
n:=n+1
ind
w ait
w ait
n:=0
DCL n Integer;
1(1)Process u2
![Page 43: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/43.jpg)
TK protokoli 3 Drago Hercog 43
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- sistemsistem(pomanjkljivo!)(pomanjkljivo!)
TKsystem
error_indication
ack ipduack ipdu chan
ind
req
rectrans
u2u1
SIGNAL req (Integer);SIGNAL ind (Integer);SIGNAL ipdu (Integer);SIGNAL ack;SIGNAL error_indication;SYNONYM i_delay Duration = 5;SYNONYM a_delay Duration = 2;
1(1)Block TKsystem
sap1sap2
k1k2
![Page 44: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/44.jpg)
TK protokoli 3 Drago Hercog 44
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- protokolna osebkaprotokolna osebka(pomanjkljivo!)(pomanjkljivo!)
d:=i_delay+a_delay+1
req
w ait_ack
set(now +d,t)
ipdu(data)
t
w ait_req
reset(t)
ack
w ait_ack
w ait_ack
set(now +d,t)
ipdu(data)
req(data)
w ait_req
TIMER t;DCL d Duration;DCL data Integer;
1(1)Process trans
DCL data Integer;
w ait
ack
ind(data)
ipdu(data)
w ait
w ait
1(1)Process rec
![Page 45: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/45.jpg)
TK protokoli 3 Drago Hercog 45
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- model kanalamodel kanala
w ait
e(c)
c:=c+1c:=c+1
ack
e(c)
set(now +a_delay,t)
propagate_a
t
ack to trans
false
w ait
true
w aitw ait
ipdu(d) torec
t
propagate_i
set(now +i_delay,t)
ipdu(d)
w ait
c:=0
e(4):=true
e:=(. false .)
DCL d Integer;TIMER t;SYNTYPE Index = Integer CONSTANTS 1:20 ENDSYNTYPE;NEWTYPE Errors array (Index,Boolean)ENDNEWTYPE;DCL e Errors;DCL c Integer;
1(1)Process chan
false true
![Page 46: Telekomunikacijski protokoli III. - Študentski.net · 2019-03-20 · • Specifikacija sistema –zunanja struktura –funkcionalnost sistema • Implementacija sistema –notranja](https://reader034.fdocument.pub/reader034/viewer/2022050522/5fa572e08d3a55582a1b44a0/html5/thumbnails/46.jpg)
TK protokoli 3 Drago Hercog 46
Zgled: zanesljiv prenos Zgled: zanesljiv prenos -- uporabnikauporabnika(mo(možžnost testiranja!)nost testiranja!)
req(5)
req(4)
req(3)
req(2)
req(1)
1(1)Process u1
error_indication
w ait
i=n
w ait
n:=n+1
ind(i)
w ait
w ait
n:=0
DCL n Integer;DCL i Integer;
1(1)Process u2
truefalse