K-INFO
HU
EN
Belépés

Szolgáltatásbiztonságra tervezés

Design for Dependability
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
Tantárgy neve (magyarul, angolul)
Szolgáltatásbiztonságra tervezés
Design for Dependability
Tantárgykód BMEVIMIM146
Tantárgyjelleg
Képzési szint
Kurzustípusok és óraszámok (heti/féléves)
Kurzustípus elmélet gyakorlat laboratóriumi gyakorlat
óraszám (heti) 2 1 0
jelleg (kapcsolt/önálló) kapcsolt
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 4
Tantárgyfelelős
DR. Majzik István
beosztás: egyetemi docens
Tantárgyat gondozó oktatási szervezeti egység
Mesterséges Intelligencia és Rendszertervezés Tanszék
Kar Villamosmérnöki és Informatikai Kar
Tantárgy weboldala http://www.mit.bme.hu/oktatas/targyak/vimim146/
Tantárgy elsődleges mintatantervi jellege
Közvetlen előkövetelmények – Erős előkövetelmény nincs
Közvetlen előkövetelmények – Gyenge előkövetelmény nincs
Közvetlen előkövetelmények – Párhuzamos előkövetelmény nincs
Közvetlen előkövetelmények – Mérföldkő előkövetelmény nincs
Közvetlen előkövetelmények – Kizáró feltétel nincs

Célkitűzés

Tantárgyprogram

A megbízható működés alapkoncepciói: A szolgáltatásbiztonság alapfogalmai, mérőszámai és befolyásoló tényezői. A szolgáltatásbiztonság növelésének eszközei. Esettanulmány: Hiba megelőzés, hibatűrés, hibaelhárítás, hiba előrejelzés az életciklus során.

A hibakezelés módszerei: Hibadetektálás, hibabehatárolás és kárbecslés, helyreállítás, újraindítás. Szoftver alapú hibafelismerés, kapcsolat a hardver technikákkal. Hibakorlátozó mechanizmusok. Helyreállítás előrelépéssel illetve visszalépéssel. A mentés és helyreállítás optimalizálása. Hibatűrés szoftver tervezési hibák esetén. Algoritmikus redundancia alkalmazása. Hardver és szoftver architektúra tervezési minták. Esettanulmányok: Nagy rendelkezésre állású szerver fürtök, automatikus feladatátvétel, hibatűrő web szolgáltatások.

Nagy rendelkezésre állású elosztott rendszerek: Javított hibakezelésű szolgáltatások (időkezelés, multicast üzenetküldés, tagsági protokollok, távoli eljáráshívás, atomi műveletek, stabil tár, újraindítható processzek). Állapotmentés és hiba utáni helyreállítás elosztott rendszerekben: lokális mentések összehangolása, üzenettároláson alapuló technikák. Hibatűrő elosztott rendszerek. Megvalósítási lehetőségek objektum-orientált rendszerekben. Köztesrétegek architektúrája, az alapszolgáltatások közötti függőségek. Esettanulmányok: Az SA Forum köztesrétegének szolgáltatásai. FT-CORBA. Java alapú szabványok és megoldások az alapszolgáltatások megvalósítására, a szolgáltatások használata.

Adatbázis kezelés: Archiválási, mentési és helyreállítási módszerek, konzisztens adatkezelés többpéldányos elosztott adatbázisokban. Mentési időpontok méretezése. Esettanulmányok: Oracle adatbázis konfigurációk.

A szolgáltatásbiztonság analízise: Redundáns architektúrák megbízhatósági modellezése és analízise. Hibamód és -hatás analízis. A modell alapú (automatikus) megbízhatósági modellezés alapelvei. Esettanulmányok: Web szolgáltatások megbízhatósági modellezése és analízise. UML alapú automatikus megbízhatósági modellezés.

Biztonság szempontjából kritikus rendszerek: A biztonsági analízis módszerei (hibafa, eseményfa, ok-következmény analízis, hibamód és -hatás analízis, állapottér vizsgálata). Kockázatcsökkentési technikák (veszély elkerülés, veszély csökkentés, vezérelhetőség, kárbehatárolás). Szoftver követelmények analízise a biztonság szempontjából. Esettanulmányok: Az IEC 61508 szabvány elvárásai. Többcsatornás működés analízise biztonságkritikus rendszerekben. Kezelőfelületek kialakítása.

A tárgy célja azoknak a műszaki megoldásoknak és tervezési módszereknek az ismertetése, amelyek szükségesek nagy megbízhatóságú, nagy rendelkezésre állású illetve biztonságos informatikai rendszerek tervezéséhez. A tárgy elsősorban a szolgáltatásbiztonságot garantáló hardver és szoftver architektúrák tervezésére és analízisére, valamint az elosztott rendszerekben alkalmazható köztesréteg szintű alapszolgáltatásokra és ezek integrálására koncentrál.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Előadás tantermi gyakorlattal.

Tanulástámogató anyagok

Online források
Óravázlatok elektronikusan hozzáférhető formában (tantárgy web lapján).; Ajánlott irodalom:; P. Verissimo, L. Rodriguez: Distributed Systems for System Architects. Kluwer Academic Publishers, 2001.; E. Marcus, H. Stern: Blueprints for High Availability: Designing Resilient Distributed Systems. John Wiley, 2000; S.-T. Levi, A. K. Agrawala: Fault Tolerant System Design. McGraw Hill, 1995; N. G. Leveson: Safeware: System Safety and Computers. Addison Wesley, 1995

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
-
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
-
Általános szabályok
Követelmények: -          A szorgalmi időszakban: A félévvégi aláírás feltétele három kiszárthelyiből (max. 30-30 perces félévközi ellenőrzések) legalább kettő legalább elégséges szintű teljesítése. -          A vizsgaidőszakban: A hallgatók a tárgyból szóbeli vizsgát tesznek. A vizsga feltétele az aláírás megszerzése, a megszerzett aláírás 3 évig érvényes. -          Elővizsga: Nincs. Pótlási lehetőségek: A pótlási időszakban egy kiszárthelyi pótolható. A vizsga egyszeri javítására minden hallgató jogosult, ekkor az érvényes eredmény a legutolsó alkalommal elért osztályzat.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak
-
A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
Tantárgykövetelmények hatályosságának vége:
Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.