A számítógépes rendszerekkel szemben támasztott megbízhatósági követelmények növekedésével a biztonsági szempontok is előtérbe kerülnek. A féléves tárgy témakörében ezeknek a biztonsági követelmények pontos megfogalmazásával és a hibamentes megvalósítás, a biztonságos rendszerfejlesztés főbb módszereivek fogunk foglalkozni.