Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar
Informatikai Kar
Szervezet
IK Programozási Nyelvek és Fordítóprogramok Tanszék
Kód
IPM-22feszDDSE
Cím
Osztott rendszerek specifikációja és implementációja Ea.
Tervezett félév
Mindkét
Meghirdetve
2023/24/2
ECTS
3
Nyelv
en
Oktatás célja
tudás:        Komplex és aktuális ismeretekkel rendelkezik informatikai szakterületének innovatív, kutatói szintű műveléséhez szükséges általános, matematikai és számítástudományi elvek, szabályok, összefüggések terén, különösen a számítástudomány formális modelljei és eszközei témakörben. Ismeri az informatikai szakterületének tervezési, fejlesztési, működtetési és irányítási folyamatainak feladat-megoldási elveit, módszereit és eljárásait a programtervezés, szintézis és verifikálás, osztott rendszerek tervezése területén. Ismeri az informatikai rendszerekkel kapcsolatos társadalmi felelősségvállalás alapelveit és problémáit. képesség: Képes az informatikai szakterületen felmerülő komplex szakmai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. Képes elemezni és alkalmazni informatikai szakterületének új probléma megoldási módszereit és eljárásait. attitűd: Figyelemmel kíséri a képesítésével, informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett az élethosszig tartó tanulás iránt, nyitott új informatikai szakmai kompetenciák elsajátítására. Elkötelezett a minőségi követelmények betartatására és informatikai eszközökkel történő elemzésére. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Működéskritikus informatikai rendszerek esetén szakmai kompetenciáinak megfelelő fejlesztési-üzemeltetési felelősséggel ruházható fel.
Tantárgy tartalma
A tárgy célja, hogy bemutassa párhuzamos és osztott rendszerek programozásának és felépítésének alapvető fogalmait és a hallgatók gyakorlatot szerezzenek elosztott programok tervezésében és implementálásában. A tárgy tartalma: Osztott programok specifikációja. Folyamat, absztrakt program, pártatlan ütemezés, összefésüléses szemantika. Invariáns, biztonságossági és haladási tulajdonságok. Elérhető állapotok. Levezetési szabályok: biztonságossági és haladási tulajdonságokra vonatkozó tételek, variánsfüggvény alkalmazása. Programkonstrukciók, lokalitás tétel, interferencia. Aszinkron és szinkron kommunikáció, üzenettovábbítás, csatornaváltozók, Adatcsatorna tétele, elágazás és multiplexer. Tanult ismeretek alkalmazása: elosztott programok készítése egy előre megadott környezetben.
Számonkérés és értékelés
Kollokvium
Irodalomjegyzék
Chandy, K.M., Misra, J.: Parallel Program Design (A Foundation. Addison-Wesley, 1989) Horváth Z.: Párhuzamos és elosztott programozás, Önálló tankönyvrész digitális tankönyvben. - Fóthi Á., Horváth Z.: Bevezetés a programozásba, III. rész (ISBN: 963 463 757 4, ELTE Informatikai Kar, 2005) http://people.inf.elte.hu/ekonyvtar/ (183 nyomtatott oldal) Coulouris G., Dollimore, J., Kindberg, T.: Distributed Systems: Concepts and Design (Addison-Wesley, 2000)

Kurzus szakjai

Név (kód) Nyelv Szint Kötelező Tanév ...
Erasmus program keretében (IK-ERASMUS-NXXX) en Kötelező
programtervező informatikus - elosztott szoftverrendszerek (IK-PROGINF-ELSOFT-NMEN) en 7 Kötelező
Vissza