Tantárgy » BMEVIMIM332
Kritikus beágyazott rendszerek
Critical Embedded Systems
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 beágyazott rendszerek
Critical Embedded Systems
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIMIM332 | ||||||||||||
| 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 | vizsga | ||||||||||||
| Tantárgy kreditértéke | 4 | ||||||||||||
| Tantárgyfelelős |
DR. Bartha Tamás
beosztás: egyetemi docens
elérhetőség:
bartha.tamas@kjk.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/vimim332 | ||||||||||||
| 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
- Biztonságkritikus rendszerek: Biztonság- és missziókritikus rendszerek tervezése: alapfogalmak. Biztonsági követelmények (vasúti, gépjármű- és repüléstechnikai területen, elosztott, mobil, ad hoc környezetben). Az IEC 61508 szabvány: architektúra, elemzések, a biztonságigazolás (Safety Case) fogalma. Ágazati szabványok vasúti, gépjármű- és repüléstechnikai területen.
- Tervezési folyamatok és módszerek: Formális architektúra modellezés (SCADE, AADL, AUTOSAR, UML-FT). Futtató platformok. Nyelvek biztonságkritikus rendszerek fejlesztésére (System C, Ada, RT-Java). Bizonyíthatóan helyes kódgenerálás. Biztonságkritikus rendszerek verifikációja és validációja.
- Folyamatkövetelmény, tesztelési és verifikációs sémák (DO 178B). Esettanulmányok: Autóközi (car2car), autófelügyeleti (car2infrastructure) kommunikáció, biztonságkritikus mozdonyvezetői kezelőfelület, erőforrás-allokáció és optimalizáció.
- Szabványos nagy rendelkezésre állású platformok: Nagy rendelkezésre állású szolgáltatások alapfogalmai. Az SAForum testület AIS szabványa. Esettanulmányok: AIS alapú szolgáltatások robosztusság-tesztelése. Szolgáltatások fejlesztése és tesztelése az OpenAIS platform felett.
- Nagy megbízhatóságú web szolgáltatás szabványok (pl. WS-RM) és platformok (IBM RAMP). Szolgáltatások modellalapú tervezése és automatikus telepítése. Esettanulmány: Szolgáltatások modellalapú fejlesztése és telepítése (Open AIS és IBM RAMP fölé).
Az informatikai rendszerek szolgáltatásbiztonsága kiemelt jelentőségű az ún. kritikus rendszerek tervezésekor, ahol egy szolgáltatás meghibásodása közvetlen és jelentős üzleti veszteséggel járhat vagy emberek életét, egészségét veszélyeztetheti. A tantárgy célja, hogy áttekintse a szolgáltatásbiztonságra tervezés modern módszereit, technológiáit és szabványait elsősorban az elosztott és beágyazott alkalmazások területén.
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 és előadótermi gyakorlat.
Tanulástámogató anyagok
Online források
A tárgyhoz kiadott előadásanyagok é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)
nincs
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)
nincs
Általános szabályok
Követelmények:
A szorgalmi időszakban: Az aláírás feltétele egy, a tárgy anyagát felölelő házi feladat (otthoni feladat) megfelelő színvonalú elkészítése.A házi feladat kiadása a 4. oktatási héten, beadása pedig a 12. oktatási héttől a szorgalmi időszak végéig történik.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 házi feladat (otthoni feladat) határidőn túl a pótlási héten adható be, a vizsgaidőszakban pótlás már nem lehetséges.A zárthelyi és 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
Nincs.
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.