Имитатор сигнализации опасных режимов самолета (вертолета)
тренажный имитатор, осуществляющий имитацию работы системы сигнализации опасных режимов самолета (вертолета).
требования, которые заявлены, например, в документе более высокого уровня.
В настоящее время, ввиду возросших требований к точности измерений, метр определяется как длина пути,...
Время t между двумя событиями в заданной точке пространства определяется как разность показаний часов...
При применении моля структурные элементы должны быть специфицированы и могут быть атомами, молекулами...
, ионами, электронами и другими частицами или специфицированными группами частиц.
Представлено программно-инструментальное средство VERMONT (VERifying MONiTor) для верификации в оперативном режиме программно-конфигурируемых сетей (ПКС) относительно формально специфицированных политик маршрутизации пакетов (ПМП). VERMONT может быть установлен в сети между контроллером и коммутаторами для наблюдения за сетью путем перехвата сообщений и команд, которыми обмениваются контроллер и коммутаторы, построения модели сети и проверки того, в какой мере изменения, происходящие в сети в результате выполнения команд реконфигурирования, подключения и отключения каналов связи и коммутационных устройств, согласуются с заданными требованиями ПМП. Перед тем как отправить команду реконфигурирования таблиц коммутации, VERMONT моделирует результат ее выполнения и проверяет выполнимость требований ПМП для модифицированной модели ПКС. Если VERMONT обнаруживает нарушениекакого-либо требования ПМП, он блокирует пересылку команды и оповещает об этом системногоадминистратора.Описана математи...
группа интегрированных программных средств, предназначенных для автоматизации решения множества задач, специфицированных...
в пределах заданного домена (проблемной области)....
Распределение требований: C требования - требования пользователя (Customer requirements); D требования...
Требования производительности (относят к нефункциональным требованиям).
3.4....
Другие требования.
тренажный имитатор, осуществляющий имитацию работы системы сигнализации опасных режимов самолета (вертолета).
тренажный имитатор, осуществляющий имитацию работы системы управления самолета (вертолета).
тренажный имитатор, осуществляющий имитацию работы тормозной системы самолета (вертолета).