Budapest University of Technology and Economics, Faculty of Electrical Engineering and Informatics

    Belépés
    címtáras azonosítással
    vissza a tantárgylistához   nyomtatható verzió    

    Formal Description Technique

    A tantárgy angol neve: Formal Description Technique

    Adatlap utolsó módosítása: 2006. július 1.

    Tantárgy lejárati dátuma: 2007. január 3.

    Budapesti Műszaki és Gazdaságtudományi Egyetem
    Villamosmérnöki és Informatikai Kar

    Villamosmérnöki Szak

    Műszaki Informatika Szak

    Doktoranduszi tárgy
    Tantárgykód Szemeszter Követelmények Kredit Tantárgyfélév
    VITTD045 Ph.D. 4/0/0/v 5 tavasz
    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