Tanszéki beszámoló 2002-2007 - Közlekedésmérnöki és ...

Közlekedésautomatikai Tanszék
Formális módszerek
Általános tendencia, hogy a szoftverrendszerek mind strukturálisan, mind
funkcionálisan egyre bonyolultabbak lesznek. Érvényes ez a vasútbiztosító
berendezésekre is, amelyek olyan, biztonságkritikus rendszerek, amelyek hatósági
engedélyezésének és üzembehelyezéséhez egyik feltétele egy bizton sági gazol ás
elkészítése és elfogadása. A növekv bonyolultság és egy sor egyéb tényez miatt
azonban egyre nehezebbé válik az ilyen rendszerek helyességének (beleértve a
teljességet és az ellentmondásmentességet) bizonyítása hagyományos eszközökkel. A
formális módszerek alkalmazásának els dleges célja a vasútbiztosítás területén, hogy
olyan eszközt biztosítson a megrendel k, a fejleszt k, a hatósági szakemberek és a
szakért k számára, amelynek segítségével a rendszerek helyességének bizonyítása a
megváltozott követelmények között is megbízhatóan, költség-hatékonyán elvégezhet .
A formális módszerek vasútbiztosításban történ hatékony alkalmazásának
el feltétele, hogy meghatározzuk azokat a tényez ket, amelyek befolyásolják az
alkalmazhatóságot. Ilyen módon meg kell határozni, hogy milyen formális technikák
jöhetnek szóba erre a célra és azokat milyen matematikai szigorúsággal alkalmazzuk.
Továbbá meg kell határozni, hogy mely rendszerrészekre, rendszerfunkciókra, illetve
mely életciklus fázisokra lehet, illetve érdemes alkalmazni a formális módszereket.
Ezen alapparaméterek, illetve további alkalmazási szempontok megfelel
figyelembevételével lehet kihasználni a vasútbiztosítás területén a formális
módszerekben rejl lehet ségeket.
A területhez tartozó fontosabb publikációk:
Tarnai G., Sághi B.: Erhöhung der Bahnsicherheit durch formaié Methoden.
Periodica Polytechnica, Transportation Engineering. Vol. 26, No 1, Budapest,
1999. pp. 175-186. Tarnai G., Sághi B.: Formális módszerek alkalmazása
a vasútbiztosító technikában. Vezetékek Világa. Vasúttechnikai szemle.
Budapest 3/2000 pp. 11-15.
Tarnai G., Sághi B.: Zusatzliche Aspekte zur Anwendung von formalen Techniken
in der Eisenbahnsicherungstechnik. Signal+Draht 05/2001.
Tarnai G., Sághi B.: Einsatz von formalen Methoden in
die Eisenbahnsicherungstechnik. ZEL '2000 7. internationales Symposium. 2000.
május 30-31. Zilina pp. 80-88.
Tarnai G., Sághi B.: Method for the Development of a Special
Railway Interlocking Subsystem. 9th IFAC Symposium on Control in
Transportation Systems. Braunschweig, 2000. pp. 495-500.
Megbízhatóságelmélet és közlekedési alkalmazásai
Biztonságkritikus rendszerek alkalmazása esetén (így a közlekedés egyes ágazataiban
is) a rendszerek tervezése mellett jelent s hangsúlyt kap a rendszer megbízhatósági
jellemz inek meghatározása. Kvalitatív és kvantitatív módszerek is léteznek a
témakörben, azonban a módszerek alkalmazása a korszer , számítógép alapú, hibaadaptív
funkciókat is tartalmazó rendszerekre a módszerek fejlesztését igénylik. E
mellett problémákat okoz a kvantitatív módszerek által szolgáltatott eredmények
értelmezése, illetve min sítése.
Tanszéki beszámoló 20/28