Анотация: В статье рассматриваются ограничения классических систем типов данных и их влияние на надежность программного обеспечения компьютеризированных комплексов критического применения.