Subject » BMEVIMIMB00
Critical Architectures Laboratory
Kritikus architektúrák laboratórium
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Kritikus architektúrák laboratórium
Critical Architectures Laboratory
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIMB00 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | félévközi érdemjegy | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
DR. Semeráth Oszkár
position: egyetemi docens
contact:
semerath.oszkar@vik.bme.hu
|
||||||||||||
| Responsible department |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | http://inf.mit.bme.hu | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
A laboratórium a következő témakörökben kínál méréseket:
- Technológiai bemutató: a laboratórium során használt technológiai háttér bemutatása és megismerése
- 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
- 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
- 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
- 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
- Elosztott rendszerek hibadiagnosztikája: elosztott adatbázis megismerése és mintarendszer összeállítása, replikáció és konzisztencia vizsgálata
- 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
- 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
- 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.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
laboratórium (9 darab 4 órás mérési alkalom)
Tanulástámogató anyagok
Not provided.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(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
Skill type competencies
(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
Recommended (non-compulsory) preliminary competencies
(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
General rules
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!
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Szoftver- és rendszerellenőrzés (VIMIMA01), Kiberfizikai rendszerek (VIMIMA02)
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.