Subject » BMEVIMIMB11
Critical Systems Laboratory
Kritikus rendszerek 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 rendszerek laboratórium
Critical Systems Laboratory
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIMIMB11 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | félévközi érdemjegy | ||||||||||||
| Credits | 4 | ||||||||||||
| Subject coordinator |
Dr. Marussy Kristóf
position: adjunktus
contact:
marussy.kristof@bme.hu
|
||||||||||||
| Responsible department |
Mesterséges Intelligencia és Rendszertervezés Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | http://www.mit.bme.hu/oktatas/targyak/VIMIMB11 | ||||||||||||
| 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 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.
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)
Kritikus
rendszerek, verifikáció & validáció (V&V), elosztott rendszerek
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)
Kritikus
rendszerek, verifikáció & validáció (V&V), elosztott rendszerek
General rules
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ő.
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
Not provided.
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.