dependable computer system

Гарантоздатна обчислювальна система (яка гарантує одержання розв'язку задачі навіть при наявності дефекту машини)