|
ECTS:
|
6
|
Lecturers in charge:
|
Prof. dr. sc.
Marijan Kunštić
Prof. dr. sc.
Miljenko Mikuc
|
English level:
1,1,1
|
All teaching activities in the course will be held on English. This level includes courses with multiple groups (i.e., all teaching will be held strictly in Croatian for Croatian groups, and strictly in English for English groups).
|
Description:
|
Fundamental features of telecommunication system. Formalisms and complex systems. Formal specifications and descriptions of telecommunication processes and services. Verification and validation of formal models. Formal methods classification regarding applications. Advantages and disadvantages of formal methods and techniques. Review of some particular tools. Modules of intelligent telecommunication development environment implemented by formal methods.
|
Literature:
|
- 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 semester
|
course for
Graduation study
|
|
