Biztonságkritikus beágyazott rendszerek

Tárgyfelelős

A munkatárs fényképe
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Oktatók

A munkatárs fényképe
habilitált docens
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu
A munkatárs fényképe
mesteroktató
Szoba: IE336
Tel.:
+36 1 463-2066
Email: scherer (*) mit * bme * hu

Hirdetmények

Tartalomátvétel

Bevezetés

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.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató