Розглянуто проблему прихованих несправностей, за якою відмовостійке побудування циф- рових компонентів не гарантує функціональної безпеки систем критичного застосування. Запропоновано структурну, функціональну та двохрежимну моделі контролепридатності для цифрових компонентів. За цими моделями визначаються різні шляхи для вирішення про- блеми. Показана доцільність використання двохрежимної моделі, що відкриває шлях для методів вирівнювання контролепридатності нормального та аварійного режимів, а та- кож виявлення та усунення потенційно небезпечних точок цифрових компонентів.
Ключові слова: Комп'ютерні системи критичного застосування - Цифрові компоненти - Приховані несправності - Моделі контролепридатності - Потенційно небезпечні точки
Рассмотрена проблема скрытых неисправностей, из-за которой отказоустойчивое по- строение цифровых компонентов не гарантирует функциональной безопасности систем критического применения. Предложены структурная, функциональная и двухрежимная мо- дели контролепригодности для цифровых компонентов. По этим моделям определяются раз- личные пути решения проблемы. Показана целесообразность использования двухрежимной модели, открывающая путь для методов выравнивания контролепригодности нормального и аварийного режимов, а также выявления и устранения потенциально опасных точек цифро- вых компонентов.
Ключевые слова: Компьютерные системы критического применения - Цифровые компонен- ты - Скрытые неисправности - Модели контролепригодности - Потенциально опасные точки.
The problem of the hidden faults for which fault tolerant structure of the digital components does not guarantee function safety of the safety-critical systems is considered. The structural, functional and dual-modes models of checkability for the digital components are offered. The different ways for solving the problem by these models are determined. The expedience in use of the dual-modes model which opens the way for the methods of leveling of the checkability in normal and emergency modes and also detection and elimination of the potentially hazardous points in the digital components is shown. Keywords: Safety-critical computer systems - Digital components - Hidden faults - Models of checkability - Potentially hazardous points.
