K-INFO
HU
EN
Belépés

Kritikus architektúrák laboratórium

Critical Architectures Laboratory
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)
Kritikus architektúrák laboratórium
Critical Architectures Laboratory
Tantárgykód BMEVIMIMB00
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) 0 0 3
jelleg (kapcsolt/önálló) önálló
Tanulmányi teljesítmény/értékelés típusa félévközi érdemjegy
Tantárgy kreditértéke 4
Tantárgyfelelős
DR. Semeráth Oszkár
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://inf.mit.bme.hu
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 laboratórium a következő témakörökben kínál méréseket:

  1. Technológiai bemutató: a laboratórium során használt technológiai háttér bemutatása és megismerése
  2. Szakterület-specifikus nyelvek automatikus elemzése: szakterület-specifikus nyelvek metamodelljének kiegészítése automatikus ellenőrzési szabályokkal, ellenőrzési feladat leképezése
  3. HW/SW komponensek automatikus allokációjának megvalósítása: allokációs probléma felírása kényszerekkel, leképezés kényszermegoldó eszközök bemenetére, kapott megoldás visszavetítése az allokációs problémára
  4. Nagy rendelkezésre állást biztosító szolgáltatás-átvételi fürtök vizsgálata: szolgáltatás-átvételi fürtök (failover cluster) bemutatása, 3 csomópontból álló fürt összeállítása, nagy rendelkezésre állású szolgáltatás megvalósítása, hibatűrés vizsgálata
  5. Modellezés alkalmazása megbízhatósági vizsgálatokban: kvantitatív és kvalitatív módszerek kipróbálása a gyakorlatban, hibafa készítése és megbízhatóság számítása, sztochasztikus Petri-hálók használata
  6. Elosztott rendszerek hibadiagnosztikája: elosztott adatbázis megismerése és mintarendszer összeállítása, replikáció és konzisztencia vizsgálata
  7. Nagy mennyiségű adat vizuális elemzése: felderítő adatanalízis, tipikus diagramok használata, informatikai rendszer naplóiból származó adatok elemzése
  8. Hibatűrési mechanizmusok felhő környezetben: különböző hibatűrést biztosító módszerek (pl. redundancia, terhelés-elosztás) alkalmazásának kipróbálása egy felhő platformon
  9. Kiberfizikai rendszerek vizsgálata: kiberfizikai rendszert megvalósító platform megismerése és kipróbálása
A tantárgy célkitűzése a Szoftver- és rendszerellenőrzés valamint a Kiberfizikai rendszerek tantárgyak anyagának gyakorlása és elmélyítése laboratóriumi mérések elvégzésével.

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

laboratórium (9 darab 4 órás mérési alkalom)

Tanulástámogató anyagok

Online források
A mérésekhez előzetesen kiadott mérési útmutatók és technológiai leírások.

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)
Modellezés, modellalapú fejlesztés, szolgáltatásbiztonság
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)
Modellezés, modellalapú fejlesztés, szolgáltatásbiztonság
Általános szabályok
Követelmények: A szorgalmi időszakban: A félévközi ellenőrzés módja a laboratórumi mérési feladatok sikeres elvégzése.  Minden laboratóriumi mérést külön jeggyel értékelünk, mely a laboratóriumi tevékenység és a jegyzőkönyv együttes értékeléséből adódik. A félévközi jegy a méréseken szerzett jegyek átlaga.A félévközi jegy megszerzéséhez minden mérést legalább elégséges jeggyel kell teljesíteni! Csak olyan mérésre kapható érdemjegy, amelyen a Hallgató részt vesz,a mérés elején kiadott írásos ellenőrző kérdéseket legalább elégséges szinten megválaszolja,valamint a mérésen elvégzett munkáját a laborvezető jóváhagyja. A mérési jegyzőkönyveket az adott mérésen kihirdetett időpontig el kell juttatni a mérésvezetőhöz az általa kért módon. A jegyzőkönyv elkészítésére legalább 3 munkanapot biztosítunk. A vizsgaidőszakban: Nincs. Pótlási lehetőségek: Pótlási célból a szorgalmi időszakban egy pótmérési alkalmat biztosítunk. A pótmérésen vagy a pótlási időszakban összesen egy mérés pótolható. A pótmérésre a megadott határidőig jelentkezni kell!
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
Szoftver- és rendszerellenőrzés (VIMIMA01), Kiberfizikai rendszerek (VIMIMA02)
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.