Bemutatók

Biztonságkritikus rendszerek fejlesztése

A biztonságkritikus rendszerek fejlesztési szabványai előírják számos fejlesztési illetve verifikációs és validációs módszer alkalmazását. Ezek támogatására UML állapottérkép alapú eszközöket dolgoztunk ki. A fóliasorozat röviden bemutatja a következő eszközök szerepét a fejlesztési folyamatban: (1) állapottérkép alapú szimulátor, (2) állapottérkép specifikáció statikus teljesség és ellentmondás-mentesség ellenőrző, (3) a vezérlési struktúra C forráskódjának automatikus generálása, (4) teszt esetek generálása teszt fedési kritériumok alapján, (5) futásidejű ellenőrzést és hibadetektálást megvalósító kódrészletek automatikus generálása.