Tantárgy » BMEVIMIMB11
Kritikus rendszerek laboratórium
Critical Systems 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 rendszerek laboratórium
Critical Systems Laboratory
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIMIMB11 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| 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. Marussy Kristóf
beosztás: adjunktus
elérhetőség:
marussy.kristof@bme.hu
|
||||||||||||
| 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/VIMIMB11 | ||||||||||||
| 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 laborok részletes tematikája:
- Technológiai bemutató: a laboratórium során használt technológiai háttér bemutatása és megismerése
- Szakterület-specifikus nyelvek elemzése: szakterület-specifikus nyelvek automatikus elemzése logikai megoldók használatával.
- Programverifikáció I.: korlátos modellellenőrző algoritmus implementálása.
- Programverifikáció II.: absztrakcióalapú modellellenőrző algoritmus implementálása.
- Modellezés alkalmazása megbízhatósági vizsgálatokban: kvantitatív és kvalitatív módszerek kipróbálása a gyakorlatban, megbízhatóság számítása, probabilisztikus programozási környezetek használata.
- Szolgáltatásbiztonsági mérések elemzése I.: mérési adatok feldolgozása és vizsgálata felderítő adatelemzés segítségével.
- Szolgáltatásbiztonsági mérések elemzése II.: következtetés és elemzés Answer set programming (ASP) használatával.
- Elosztott rendszerek hibatűrése: hibatűrési minták használata elosztott rendszerekben.
- Okosszerződések használata:
decentralizált rendszereken futó okosszerződések készítése és ellenőrzése.
A tantárgy
célkitűzése, hogy a Kritikus rendszerek mellékspecializáció tárgyainak
anyagához és a specializáció tématerületéhez kapcsolódó ismereteket mélyítse el
laboratóriumi mérések segítségé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)
Kritikus
rendszerek, verifikáció & validáció (V&V), elosztott rendszerek
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)
Kritikus
rendszerek, verifikáció & validáció (V&V), elosztott rendszerek
Általános szabályok
Követelmények:
A félévközi ellenőrzés módja a laboratóriumi 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 számtani
átlaga.
A félévközi jegy megszerzéséhez minden mérést legalább
elégséges jeggyel kell teljesíteni.
Pótlási lehetőségek:
A
pótlás során két labormérés pótolható, javítható vagy ismételhető.
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
Nincs megadva.
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.