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

• Bevezető előadás (Közlekedési automatika BSc. összefoglalás, bővebben a tárgy oldalán)
• Formális módszerek:
  • A formális modellezés és a formális verifikáció alapjai
  • Követelmények formalizálása
  • Petri hálók: alapfogalmak és kiterjesztések
  • Petri hálók tulajdonságai
  • Zárthelyi:
    • Zárthelyi mintafeladatok
  • Házi feladat:
    • A feladatok leírása
    • Petri háló példa modellek PetriDotNet formátumban

Ajánlott eszközök:

• PetriDotNet
• Snoopy – a unifying Petri net tool
  • Snoopy
  • Charlie
• CPN Tools - Colored Petri nets
• UPPAAL - Networks of timed automata

Ajánlott irodalom:

• Bartha Tamás, Majzik István: Biztonságra tervezés és biztonságigazolás formális módszerei, Akadémiai kiadó, 2020.
• Pataricza A. (szerk): Formális módszerek az informatikában, 2. kiadás, Typotex, 2005.
• T. Murata: Petri nets: Properties, analysis and applications, Proceedings of the IEEE, Vol.77, Issue 4, Apr 1989.

Letölthető korábbi segédanyagok

• Biztonságkritikus rendszerek fejlesztése (2018.03)
• Fejlesztési modellek (2018.03)

Záróvizsga tételsor