Szoftver követelmények verifikálása orvosi készülékekhez
Kutatói munkám során aktív orvosi eszközben futó szoftverek megbízhatóságának javításával, illetve ennek a bizonyításával foglalkoztam tesztek segítségével. A megbízhatóság igazolás különösen kritikus pontja a fejlesztésnek, mivel a gép hibás működése ember életeket veszélyeztethet. A munkám >>