Kritikus beágyazott rendszerek
A tantárgy angol neve: Critical Embedded Systems
Adatlap utolsó módosítása: 2018. február 22.
Villamosmérnöki szak, MSc képzés
Nukleáris rendszertechnika mellékspecializáció
Mérnökinformatikus szak, MSc képzés, választható tantárgy
A fenti forma a Neptun sajátja, ezen technikai okokból nem változtattunk.
A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.
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 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 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.