A tantárgy célja a funkcionális biztonság szempontjából kritikus beágyazott rendszerek fejlesztési
módszereinek bemutatása. Az ilyen rendszerek (amelyeket nagy számban találunk például járműipari,
közlekedési, folyamatirányítási alkalmazásokban) működése hozzájárulhat veszély, illetve adott
környezeti feltételek mellett baleset vagy anyagi kár kialakulásához, így speciális tervezési, analízis és
tesztelési technikák alkalmazására van szükség. A hallgatók megismerik a biztonságkritikus rendszerek
fejlesztési szabványokban is rögzített életciklus modelljét, konstrukciós alapelveit, a tervezői döntéseket
igazoló biztonsági és megbízhatósági analízist, valamint a szisztematikus tesztelés és verifikáció
módszereit. A tantárgy előadásai és gyakorlatai konkrét eszközöket és technológiákat mutatnak be a
követelménykezelés, architektúra tervezés, veszély analízis, forráskód ellenőrzés, komponens- és
integrációs tesztelés, rendszertesztelés tipikus feladatainak elvégzéséhez.