Ipari biztonsági / védelmi rendszerek automatikus ellenőrzésének támogatása

Tanszéki konzulens: 
A munkatárs fényképe
docens
Szoba: IB419
Tel.:
+36 1 463-3594
Email: bartha (*) mit * bme * hu

A kiírás adatai

A téma státusza: 
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve: 
2011
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv

Ipari biztonságkritikus rendszerekben a biztonsági beavatkozásokat indító ún. védelmi logikák tipikus leírási "nyelve" a funkcionális blokkdiagramok valamelyik változata. Ezek grafikus, könnyen áttekinthető leírását adják a megvalósítandó biztonsági funkciónak.

Sajnos a jelenlegi gyakorlatban a védelmi logikák automatikus formális helyességellenőrzése nem része a fejlesztési folyamatnak. A továbblépés egyik lehetősége, ha létrehozunk egy formális modellkönyvtárat és olyan kompozíciós módszereket, amelyekkel a folyamat- és irányítástechnikai mérnökök által funkcionális blokkdiagramok formájában leírt funkciók automatikusan, manuális munka igénye nélkül és ellenőrzötten helyes módon formális biztonságigazolásra és helyességbizonyításra alkalmas modellé alakíthatók.

A hallgató feladata egy kiválasztott formális modellezési nyelven (pl. Petri hálók, időzített automaták, tranzíciós rendszerek) kidolgozni néhány kiválasztott funkcionális blokk vagy tipikus logikai séma formális modelljét.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató