Požadavky na koncepci programů při výpočtu spolehlivosti