A nagy kiterjedésű IT rendszer- és szolgáltatásmenedzsment rendszerekben rohamosan terjedő trend a megkívánt szolgáltatásbiztonsági jellemzők futási idejű garantálása. A tárgy ismerteti az ilyen (pl. autonóm, öngyógyító, hibatűrő grid) rendszerek specifikálásának, tervezésének és implementációjának módszereit. Külön hangsúlyt kap a modellbázisú megközelítés: a formális infrastruktúra- és szolgáltatásmodellezés a mérnöki tervezési térben és a kapcsolódó matematikai analízis.