Anotace:

Přednášky jsou věnovány použití počítačů v bezpečnostních systémech jaderných reaktorů, požadavkům na jejich technické a programové vybavení. Pozornost je věnována životnímu cyklu programového vybavení, požadavkům, návrhu, kódování, integraci, verifikaci a validaci, údržbě i správě konfigurace. Rovněž jsou řešeny požadavky a omezení na použití programovacích jazyků při kódování programového vybavení. Do přednášek je zařazena i problematika využití programovatelných obvodů (CPLD, FPGA) v bezpečnostních a řídicích systémech (I&C) jaderných reaktorů. Výuka předmětu je doplněna praktickými cvičeními (práce se systémem VeNus), demonstrací (např. způsob validace kanálů provozního měření výkonu a nezávislé výkonové ochrany na VR‑1).