English | Russian |
this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock | Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
where appropriate | где это необходимо (ssn) |
where appropriate, any mechanism which ensures the integrity of the equipment output on the discovery of a fault shall be described here | при необходимости указывают способы, обеспечивающие работоспособность выходов оборудования в случае обнаружения сбоев |
where appropriate, any special tools, the smallest replaceable units, any consumables required for the correct operation and maintenance of the equipment shall be entered here | при необходимости указывают специальные средства, элементарные заменяемые блоки и расходные материалы, требуемые для обеспечения правильной работы и проведения технического обслуживания оборудования |
where appropriate, the mean time between faults MTBF, fault tolerance, internal redundancy etc. shall be entered here | при необходимости указывают среднее время безотказной работы MTBF, устойчивость к отказам, резервирование внутренних компонентов и т.д. |