K-INFO
HU
EN
Belépés
Tantárgy » BMEVIMIMA16
Régebbi verziók TAD letöltése (PDF)

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 BMEVIMIMA16
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) 2 1 0
jelleg (kapcsolt/önálló) — kapcsolt —
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 4
Tantárgyfelelős
Vörös András
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://www.mit.bme.hu/oktatas/targyak/VIMIMA16
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

1. hét: Bevezetés: A biztonságosság alapfogalmai. Biztonságkritikus rendszerek architektúrájának tervezése: jellegzetes fail-stop illetve fail-operational architektúrák (hibatűrés).

2. hét: Veszély analízis: ellenőrző listák, hibamód és -hatás analízis, hibafa, eseményfa, ok-hatás analízis, megbízhatósági blokkdiagramok.

3. hét: Tesztelési módszerek: a teszttervezés és a tesztelési folyamat specialitásai. Követelmény és architektúra modellezés biztonságkritikus rendszerekben.

4. hét: Formális modellezés és verifikáció, modell alapú forráskód generálás.

5. hét: Funkcionális biztonság (IEC 61508): Biztonsági követelmények specifikálása. Hardver biztonságintegritás. Szoftverek használata biztonságkritikus rendszerekben.

6. hét: Biztonságigazolás (safety case). Iparági szabványok: gépjárművek: ISO 26262, folyamatirányító rendszerek: IEC61511, vasútirányítás: IEC 62279/EN 50128.

7. hét: Nukleáris biztonság. Nukleáris biztonság irányítástechnikai specifikumai. Alapfogalmak: függetlenség, szétválasztás, redundancia, diverzitás. Kategorizálás. NBSZ, IAEA NS-G-1.3, IEC 61513, IEC 61226.

8. hét: Irányítási rendszerek.A biztonság szempontjából releváns irányítástechnikai rendszerek: hardver: IEC 60987, szoftver: IEC 62138, IEC 60880. Példa: Reaktorvédelmi Rendszer.

9. hét: További irányítástechnikai vonatkozások. periodikus tesztelés, HMI, számítógépes biztonság. Példa: RVR Univerzális Tesztrendszer.

10. hét: Minta rendszerek és példák. Létező rendszerek, esettanulmányok: DCS: Siemens SPPA-T3000, ABB System 800xA, Areva TELEPERM XS, OPC Unified Architecture, Primerköri Nyomásszabályozó Rendszer.

11. hét Repülőgépipari beágyazott rendszerek. Szoftverfejlesztés repüléstechnikai területen a DO-178B szabvány keretein belül.

12. hét: Térben és időben partícionált rendszerek a repülőgépiparban. A MILS koncepcióra épülő ARINC 653 valós idejű operációs rendszer.

13. hét: Gépjármű SW-HW együttes fejlesztése. Gépjárművek szoftver architektúrájának modellvezérelt alapokon történő tervezése AUTOSAR alapokon. HW-W allokáció fogalama és koncepcionális elemei. Komponens alalpú rendszertervezés.

14. hét: Kitekintés: Magas szintű modellvezérelt alapokon történő rendszerfejlesztés és automatikus kódszintézis. Példa: TRANS-IMA keretrendszer bemutatása egyszerű példán keresztül.

A beágyazott rendszerek biztonságossága (safety) kiemelt jelentőségű az ún. kritikus rendszerek tervezésekor, amelyek meghibásodása közvetlen emberek életét, egészségét veszélyeztetheti vagy jelentős üzleti veszteséggel járhat. A tantárgy célja, hogy áttekintse a nagy megbízhatóságra tervezés és a biztonságigazolá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.