|
ECTS:
|
6
|
Nositelji:
|
Prof. dr. sc.
Marijan Kunštić
Prof. dr. sc.
Miljenko Mikuc
|
Engleski jezik:
1,1,1
|
Svi elementi nastave na predmetu provode se na engleskom jeziku. Ova razina uključuje i predmete s više nastavnih grupa (u hrvatskoj grupi nastava je isključivo na hrvatskom jeziku, a u engleskoj grupi isključivo na engleskom jeziku).
|
Opis predmeta:
|
Osnovna svojstva telekomunikacijskog sustava. Formalizmi i veliki sustavi. Formalne specifikacije i opisi telekomunikacijskih procesa i usluga. Verifikacija i pravovaljanost formalnih modela. Klasifikacija formalnih metoda glede strogosti primjene. Prednosti i nedostaci formalnih metoda i tehnika. Primjeri pojedinih pomagala. Implementacija formalnih metoda u module inteligentne razvojne telekomunikacijske okoline.
|
Literatura:
|
- K. J. Turner: Using formal description techniques, J. Wiley & Sons, 1993.
- J. Ellsberger, D. Hogrete and A. Sarma: SDL Formal Object Oriented Language for Communication Systems, Prentice Hall, 1997.
- Laurent Doldi: Validation on Communications Systems with SDL, J. Wiley & Sons, 2003.
|
|
Ljetni semestar
|
predmet za
Poslijediplomski studij
|
|
