Russian | English |
инструмент автоматической проверки функциональной безопасности приложений | automated safety checker (корпорации AdaCore Alex_Odeychuk) |
канал с функциональной проверкой | channel with functional test (ssn) |
одинарный канал с функциональной проверкой | single channel with functional test (одноканальная структура, в которой контрольные данные вводятся в функциональный блок перед началом его работы. См. ГОСТ IEC 60730-1-2011 ssn) |