Digitális technika, Számítógéphálózatok, Távközlő hálózatok, Formális nyelvek

Elméleti és gyakorlati ismeretek nyújtása a kommunikációs szoftverek és protokollok, kiterjesztett kommunikáló véges automaták elméletén alapuló specifikáció, validáció és tesztelés témaköréből. Formális leíró nyelvek alkalmazása kommunikációs protokollok technológiai lépéseinél. Esettanulmányok kommunikációs protokollokra, különös tekintettel a jelzési rendszerekre és az IP hálózatok protokolljaira.

Az SDL (Specification and Description Language) nyelvi elemei, a grafikus és a programnyelvi változat jellegzetességei. Kommunikációs csatornák, jelek, jelutak, input sorok, prioritások és időzítések kezelése. Az objektum orientáltság jellegzetes távközlési alkalmazásai. Az INRES ( INItiator RESponder ) protokoll.

A specifikáció, verifikáció, validáció, implementáció és konformancia tesztelés módszertana. A TTCN ( Tree and Tabular Combined Notation ) tesztleíró és az ASN.1 ( Abstract Syntax Notation No.1) adatleíró nyelv és alkalmazási módszertana. A konformancia tesztelés módszertana és dokumentumai ( ATS - Abstract Test Suite, ETS - Executable Test Suite, PCTR - Protocol Conformance Test Report ).

Digitális kommunikációs hálózatok jelzésrendszerei: Digital Signalling System No1 és a Common Channel Signalling System No7 (Message Transfer Part, ISDN User Part). Signalling Connection Control Part, Transaction CAPabilities, Mobile Application Part protokollok.

VoIP protokollok ( H323, Session Initiation Protocoll), IP hálózatok erőforrás foglaló protokolljai.

előadás

2. A vizsgaidőszakban:

3. Irásbeli vizsga

4. Elővizsga:

A nagyZH pótlása a TVSz szerint lehetséges

A hallgatókkal történt egyeztetés szerint.

Elektronikus jegyzetet biztosítunk.

(a tantárgyhoz tartozó tanulmányi idő körülbelüli felosztása a tanórák, továbbá a házi feladatok és a zárthelyik között (a felkészülésre, ill. a kidolgozásra átlagosan fordítandó/elvárható idők félévi munkaórában, kredit x 30 óra, pl. 5 kredit esetén 150 óra):