Verifikáció és teszt
BEST-STS: Biztonságkritikus komponensek tesztelése
“Software in the Loop” – a beágyazott rendszerek tesztelésének és fejlesztésének metódusát alkalmazzák a biztosítóberendezések biztonságkritikus komponensei fejlesztési folyamatainak támogatására.
Különösen az ismétlődő folyamatok szimulálhatók a BEST-STS által. Ily módon részleteiben bizonyítható, hogy egy adott hiba javítása megtörtént-e, vagy sem (újra tesztelés).
A BEST-STS csökkenti a valós rendszer igénybevételét tesztelési célra, ezzel együtt drámaian csökkenti a helyszíni tesztek időigényét, valamint a rendszer korlátok a valós rendszer veszélyeztetése nélkül meghatározhatók.