Kritikus alkalmazások esetén gyakran felmerül az igény a viselkedés futásidejű monitorozására, valamint a helyességet és biztonságosságot érintő veszélyes szituációk esetén az aktív beavatkozásra.
Így működési, konfigurációs és (pl. a váratlan környezeti szituációkat érintő) tervezési hibák is detektálhatók és kezelhetők. Különösen fontos ez környezetfüggő működésű kritikus rendszerekben, mert a környezeti szituációk sokfélesége nehézzé teszi a teljes körű tervezési idejű ellenőrzést. A monitor komponensek megvalósításához szükséges azoknak a biztonsági és helyességi követelményeknek a precíz megfogalmazása, amelyek megsértése esetén a monitor hibát detektál. A kutatás során egy követelmény mintákon alapuló módszert adtam a követelmények összeállítására és temporális logikai formalizálására. A formalizált követelmények előnye, hogy ezek alapján automatikus kódgenerálási módszerekkel állítható elő a szoftver monitor komponensek forráskódja.
Majzik István, docens, BME VIK Méréstechnika és Információs Rendszerek Tanszék
A kutatási beszámoló letölthető innen (PDF)
- március 30.