Közlekedési automatika MSc

Közlekedési automatika - BMEKOKAM202

A tantárgy célja

A tantárgy célja, hogy megismertesse a hallgatókat a közlekedés területén alkalmazott biztonságkritikus automatikus irányítórendszerek filozófiájával, a biztonsági követelmények meghatározásának és az elért biztonság igazolásának módszereivel.

A tantárgy rövid leírása

  • Biztonsági alapfogalmak
  • Biztonsági rendszerek fejlesztése
    • rendszer-követelmények, veszély- és kockázatelemzés, rendszerspecifikáció
    • rendszerarchitektúra meghatározása
    • modulokra bontás, modulok fejlesztése, megvalósítása, tesztelése
    • rendszerintegráció, teljes rendszer verifikálása és validálása
    • tanúsítás, engedélyezés
  • Biztonságkritikus rendszerek hiba-menedzselése
  • Biztonsági kritériumok: rendszerkövetelmények, biztonsági követelmények, biztonságigazolás
  • Veszélyelemzés:
    • hibamód és -hatás elemzés
    • veszély- és működőképesség elemzés,
    • eseményfa elemzés, hibafa elemzés
    • veszélyelemzés a fejlesztési életciklusban
  • Kockázatelemzés:
    • a hibás működés következményei - súlyosság
    • a hibás működés valószínűsége - gyakoriság
    • kockázatosztályozás, integritási szintek.
  • Biztonságkritikus rendszerek fejlesztése.
    • Életciklus modellek. Biztonsági életciklus.
  • Fejlesztési modellek.
    • Hibamenedzselés.
    • A biztonság emberi tényezői.
    • Biztonsági elemzés. Biztonság-menedzsment.
  • Formális módszerek alapjai.
    • Formális modellezés: Petri-hálók, időzített automaták.
    • Követelmények formális specifikációja: temporális logikák.
    • Formális helyességigazolás eszközei: Petri-hálók viselkedési és strukturális tulajdonságai, modellellenőrzés.

Letölthető segédanyagok

Az itt megadott segédanyagok csak azoknak szólnak, akik valami miatt nem férnek hozzá a tárgy Moodle oldalához. Minden aktuális információ, segédanyag, számonkérés és félévközi eredmény a tágy Moodle felületén kerül megosztásra!

Korábbi előadásanyagok

Ajánlott eszközök:

Ajánlott irodalom:

Letölthető korábbi segédanyagok

Záróvizsga tételsor

 
 
 
 
Az oldalon sütiket használunk
Weboldalunkon „cookie”-kat (továbbiakban „süti”) alkalmazunk. Ezek olyan fájlok, melyek információt tárolnak webes böngészőjében. Ehhez az Ön hozzájárulása szükséges. A „sütiket” az elektronikus hírközlésről szóló 2003. évi C. törvény, az elektronikus kereskedelmi szolgáltatások, az információs társadalommal összefüggő szolgáltatások egyes kérdéseiről szóló 2001. évi CVIII. törvény, valamint az Európai Unió előírásainak megfelelően használjuk.Azon weblapoknak, melyek az Európai Unió országain belül működnek, a „sütik” használatához, és ezeknek a felhasználó számítógépén vagy egyéb eszközén történő tárolásához a felhasználók hozzájárulását kell kérniük.