mislo

Fakulteta za elektrotehniko, računalništvo in informatiko · Univerza v Mariboru

Načrtovanje komunikacijskih protokolov

Za Načrtovanje komunikacijskih protokolov še ni zapiskov.

Imaš svoje zapiske? Objavi jih: ceno določiš ti, z naročnino ti ostane cela, DDV se doda kupcu.

Objavi zapiske

Čakaš na zapiske? Prijavi se in povej. Ko jih kdo objavi, dobiš sporočilo.

Želim zapiske

Kaj lahko narediš že danes

Naloži svoje gradivo za Načrtovanje komunikacijskih protokolov: Mai ga prebere in ti iz njega naredi kartice, kviz in razlago, ko ti kaj ni jasno. Če zapiske kasneje objaviš, jih prodajaš tukaj.

Naloži svoje gradivo

Učni načrt

Podatki so iz učnega načrta, ki ga objavlja Fakulteta za elektrotehniko, računalništvo in informatiko. Prebrano 6. 9. 2026. Poglej izvirnik

6 kreditnih točk

Obveznosti v urah

  • Predavanja30 ur
  • Vaje30 ur
  • Samostojno delo120 ur

Vsebina

  1. Principi načrtovanja komunikacijskih protokolov.
  2. Modeliranje in specifikacija: modeli s končnimi avtomati, specifikacija obnašanja z UML in SDL, opisi scenarijev z MSC, opis formata podatkov z ABNF, CSN.1, ASN.1.
  3. Osnove gradnje razčlenjevalnika protokola: teorija razčlenjevanja, leksikalna analiza, sintaktična analiza, regularni izrazi, orodje ANTLR za gradnjo razčlenjevalnikov.
  4. Dokazovanje pravilnosti protokolov: modeliranje protokolov v Promeli, preverjanje modelov in simulacija z orodjema Spin in SpinRCP.

Ocenjevanje

Pisni izpit 50 %, Laboratorijsko delo 50 %

Pogoji za vključitev

Priporočeno je osnovno znanje o programiranju in o računalniških omrežjih.

Literatura

  • G. J. Holzmann: Design and Validation of Computer Protocols, Prentice Hall, Englewood Cliffs, 1991
  • G. J. Holzmann: The Spin Model Checker, Addison Wesley, Boston, 2004
  • Z. Brezočnik, T. Kovše: SpinRCP, UM FERI, Maribor, 2014, dosegljivo na http://lms.uni-mb.si/spinrcp
  • Ben-Ari, M. (2008). Principles of the Spin model checker. Springer. http://dx.doi.org/10.1007/978-1-84628-770-1

Kako deluje

  1. Zapiske kupiš enkrat in ostanejo tvoji.
  2. V aplikaciji iz njih dobiš kartice, kvize in Mai, ki pozna gradivo.
  3. Ceno določi avtor. Prodajalec je Mislo AI, račun dobiš od nas.