BME VIK - Formal Description Technique

3. A tantárgyfelelős személy és tanszék Dr. Csopaki Gyula,

4. A tantárgy előadója

Név:	Beosztás:	Tanszék, Int.:
Dr Dieter Hogrefe	Egyetemi tanár	University of Lübeck

5. A tantárgy az alábbi témakörök ismeretére épít

Távközlési rendszerek.

6. Előtanulmányi rend

Ajánlott:

Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat:

Nincs ilyen tárgy

7. A tantárgy célkitűzése

Ismeretek nyújtása a kommunikációs protokollok formális leirásának, verifikációjának , validációjának és konformancia tesztelésésnek módszertanáról és leiró nyelveiről.

8. A tantárgy részletes tematikája

A formális leirónyelveken alapuló protocol engineering folyamata és módszertana. Az SDL2000 formális leirónyelv és alakalmazása kommunikációs protokollok leirásásra. A konformancia tesztelés módszertana. A TTCNv3 teszteleíró nyelv és alkalmazása. Számítógéppel segített automatikus teszgenerálási algoritmusok. Az ASN1 adatleíró nyelv és alakalmazása a formális leírás során. Esettanulmányok bemutatása, számítógépes fejlesztőeszközök által megvalósított algorítmusok. Nemzetközi szabványosítási folyamatok.

9. A tantárgy oktatásának módja (előadás, gyakorlat, laboratórium)

előadás (2 hetes intenziv kurzus, egész napos elfoglaltsággal

10. Követelmények

a. A szorgalmi időszakban:-

b. A vizsgaidőszakban: vizsga

c. Elővizsga: -

13. Jegyzet, tankönyv, felhasználható irodalom

J. Ellsberger, D. Hogrefe, A. Sarma: SDL Formal Object-oriented Language for Communicating Systems. Prentice Hall. 1997.

15. A tantárgy tematikáját kidolgozta

Név:	Beosztás:	Tanszék, Int.:
Dr. Csopaki Gyula	Egyetemi docens	TTT
Dr. Dibúz Sarolta	Tudományos fmts	TTT
Dr. Dieter Hogrefe	Egyetemi Tanár	University of Lübeck