Протокол моделирования совокупного уровня - Aggregate Level Simulation Protocol

Логотип ALSP

В Протокол моделирования совокупного уровня (ALSP) - это протокол и вспомогательное программное обеспечение, которое позволяет симуляторам взаимодействовать друг с другом. Заменено Архитектура высокого уровня (моделирование) (HLA), он использовался военными США для связи аналитического и тренировочного моделирования.

ALSP состоит из:

  1. Программное обеспечение инфраструктуры ALSP (AIS), которое обеспечивает поддержку моделирования распределенного времени выполнения и управление им;
  2. Многоразовый интерфейс ALSP, состоящий из общих протоколов обмена данными; и
  3. Симуляции с участием адаптированы для использования с ALSP.

История

В 1990 г. Агентство перспективных оборонных исследовательских проектов (DARPA) нанятый В МИТРА Корпорация изучить применение принципов распределенного интерактивного моделирования, используемых в SIMNET для конструктивных обучающих симуляций на агрегатном уровне. Основываясь на усилиях по созданию прототипа, в 1991 году на уровне сообщества был проведен эксперимент по расширению SIMNET для связи Моделирование боя корпуса (CBS) и ВВС США Моделирование воздушной войны (AWSIM). Успех прототипа и признание пользователями ценности этой технологии для обучающего сообщества привели к разработке производственного программного обеспечения. Первая конфедерация ALSP, обеспечивающая взаимодействие «воздух-земля» между CBS и AWSIM, поддержала три крупных учения в 1992 году.

К 1995 году ALSP перешла на мультисервисную программу с симуляциями, представляющими армию США (CBS), ВВС США (AWSIM), ВМС США (RESA), Корпус морской пехоты США (MTWS ), радиоэлектронная борьба (JECEWSI), логистика (CSSTSS) и интеллект (ТАКСИМ ). Программа также перешла от направления исследований и разработок DARPA к основному управлению со стороны Исполнительного офиса программы армии США по моделированию, обучению и КИП (PEO STRI )

Взносы

ALSP разработала и продемонстрировала ключевые аспекты распределенного моделирования, многие из которых были применены при разработке HLA.

  • Нет центрального узла, чтобы симуляторы могли присоединяться к конфедерации и покидать ее по желанию
  • Географическое распределение, при котором тренажеры могут быть распределены в разных географических точках, но при этом выполнять упражнения в одной моделируемой среде
  • Владение объектом, поэтому каждая симуляция контролирует свои собственные ресурсы, стреляет из собственного оружия и определяет соответствующий урон своим системам при стрельбе по
  • Протокол на основе сообщений для распространения информации из одного моделирования во все другие модели.
  • Управление временем, чтобы время для всех симуляций было одинаковым для пользователей и чтобы сохранялась причинная связь событий - события должны происходить в одной и той же последовательности во всех симуляциях.
  • Управление данными позволяет всем симуляторам обмениваться информацией в общепринятом виде, даже если каждое из них имеет собственное представление данных. Это включает в себя несколько симуляций, управляющих атрибутами одного и того же объекта.
  • Архитектура, которая позволяет симуляторам продолжать использовать существующие архитектуры, участвуя в конфедерации ALSP.

Мотивация

В 1989 г. Центр подготовки воинов (WPC) в Айнзидлерхофе, Германия, прошли компьютеризированные военные учения ACE-89. Агентство перспективных оборонных исследовательских проектов (DARPA ) использовали ACE-89 как возможность внедрения технологий, финансируя развертывание Оборонное моделирование Интернет (DSI). Его пакетная видеоконференцсвязь впервые позволила генеральным офицерам стран НАТО лично встретиться во время военных учений; это было хорошо принято. Но программное приложение DSI, распространение Ground Warfare Simulation (GRWSIM), было менее успешным. Моделирование GRWSIM было ненадежным, а его распределенная база данных была непоследовательной, что снижало эффективность учений.

DARPA финансировало разработку распределенной учебно-тренировочной системы под названием SIMNET где отдельные компьютеризированные инструкторы танковых экипажей были связаны через локальные сети и DSI для взаимодействия на едином виртуальном поле боя. Успех SIMNET, разочарование ACE-89 и желание объединить существующие модели боевых действий побудили DARPA начать исследования, которые привели к ALSP.

Основные принципы

DARPA спонсировало разработку общего интерфейса между крупными существующими боевыми симуляторами агрегированного уровня. Использование боевых симуляторов на агрегированном уровне Ланчестриец модели боя, а не отдельные модели физического оружия и обычно используются для тренировок высокого уровня. Несмотря на различия в представлении, несколько принципов SIMNET применимы к моделированию на агрегированном уровне:

  • Возможность динамической настройки. Симуляторы могут присоединяться к учениям и отказываться от них без ограничений.
  • Географическое распространение. Моделирование может находиться в разных географических точках, но при этом выполняться на одном и том же логическом ландшафте.
  • Автономные образования. Каждая симуляция управляет своими собственными ресурсами, стреляет из собственного оружия и, когда один из ее объектов поражается, проводит локальную оценку ущерба.
  • Общение посредством передачи сообщений. Моделирование использует протокол передачи сообщений, распространяющий информацию на все остальные модели.

Задача ALSP имела требования, выходящие за рамки SIMNET:

  • Управление временем моделирования. Обычно время моделирования не зависит от времени на настенных часах. Чтобы результаты распределенного моделирования были «правильными», время должно быть согласованным для всех моделей.[1]
  • Управление данными. Схемы представления внутреннего состояния различаются в существующих симуляциях, что требует общей системы представления и сопутствующих механизмов отображения и контроля.
  • Независимость от архитектуры. Архитектурные характеристики (язык реализации, пользовательский интерфейс и механизм потока времени) существующих моделей различались. Архитектура, подразумеваемая ALSP, должна быть ненавязчивой для существующих архитектур.

Концептуальная основа

А концептуальная основа представляет собой организационную структуру концепций, которая облегчает разработку имитационных моделей.[2] Общие концептуальные рамки включают: планирование событий, сканирование действий и взаимодействие процессов.

Концептуальная структура ALSP основана на объектах, где модель состоит из объектов, которые характеризуются атрибутами, которым присвоены значения. Классы объектов организованы иерархически так же, как и в объектно-ориентированных языках программирования. ALSP поддерживает конфедерацию симуляций, которые координируются с использованием общей модели.

Для разработки механизма, который позволяет существующим симуляциям взаимодействовать, возможны две стратегии: (1) определить инфраструктуру, которая переводит между представлениями в каждой симуляции, или (2) определить общую схему представления и потребовать, чтобы все симуляции отображались в этой схеме.

Первая стратегия требует небольшого количества изменений существующего моделирования; взаимодействие полностью обеспечивается за счет инфраструктуры межсетевого взаимодействия. Однако это решение плохо масштабируется. Из-за основного требования масштабируемости дизайн ALSP принял вторую стратегию. ALSP предписывает, чтобы каждая симуляция отображала между репрезентативной схемой конфедерации и ее собственной репрезентативной схемой. Это отображение представляет собой один из трех способов, которыми необходимо изменить симуляцию, чтобы участвовать в конфедерации ALSP. Остальные модификации:

  • Признание того, что симуляции не принадлежат все воспринимаемые ею объекты.
  • Изменение внутреннего механизма опережения времени симуляции таким образом, чтобы он работал совместно с другими симуляторами в рамках конфедерации.

В автономном моделировании объекты возникают (и исчезают) с течением времени моделирования, и расположение этих объектов является исключительной прерогативой моделирования. Когда вы действуете в рамках конфедерации, отношения симуляции и объекта усложняются.

Свойство владения объектом моделирования является динамическим, то есть в течение своего времени существования объект может принадлежать более чем одному моделированию. Фактически, для любого значения времени моделирования несколько имитаций могут иметь разные атрибуты данного объекта. По соглашению, симуляция владеет объектом, если ей принадлежит «идентифицирующий» атрибут объекта. Владение атрибутом объекта означает, что моделирование отвечает за вычисление и сообщение изменений значения атрибута. Объекты, не принадлежащие конкретной симуляции, но находящиеся в зоне восприятия симуляции, известны как призраки. Призраки - это локальные копии объектов, принадлежащих другим симуляторам.

Когда симуляция создает объект, она сообщает об этом конфедерации, чтобы позволить другим симуляторам создавать призраков. Аналогичным образом, когда имитация удаляет объект, она сообщает об этом факте, чтобы разрешить удаление призраков. Каждый раз, когда симуляция совершает действие между одним из своих объектов и призраком, симуляция должна сообщить об этом конфедерации. Говоря языком ALSP, это взаимодействие. Эти фундаментальные концепции составляют основу оставшейся части презентации. Термин модель конфедерации описывает иерархию объектов, атрибуты и взаимодействия, поддерживаемые конфедерацией.

Программное обеспечение инфраструктуры ALSP (AIS)

Объектно-ориентированная концептуальная структура, принятая ALSP, определяет классы информации, которая должна быть распределена. Программное обеспечение инфраструктуры ALSP (AIS) обеспечивает распределение данных и координацию процессов. Основными компонентами AIS являются общий модуль ALSP (ACM) и широковещательный эмулятор ALSP (ABE).

Общий модуль ALSP (ACM)

Общий модуль ALSP (ACM) обеспечивает общий интерфейс для всех симуляций и содержит основные функции для ALSP. Один экземпляр ACM существует для каждой симуляции в конфедерации. Услуги ACM требуют управления временем и управления объектами; они включают:

  • Координируйте моделирование присоединения к конфедерации и выхода из нее.
  • Координируйте местное время симуляции со временем конфедерации.
  • Отфильтруйте входящие сообщения, чтобы симуляторы получали только интересующие сообщения.
  • Координируйте владение атрибутами объекта и разрешите перенос владения.
  • Обеспечьте право собственности на атрибуты, чтобы при моделировании отображались значения только принадлежащих им атрибутов.

Тайм-менеджмент

Вступление в конфедерацию и выход из нее - неотъемлемая часть процесса управления временем. Когда симуляция присоединяется к конфедерации, все остальные ACM в конфедерации создают очереди входных сообщений для новой симуляции. И наоборот, когда симуляция выходит из конфедерации, другие ACM удаляют очереди входных сообщений для этой симуляции.

Средства управления временем ALSP поддерживают дискретное моделирование событий с использованием либо асинхронных (следующее событие), либо синхронных (с шагом во времени) механизмов опережения времени.[3] Механизм поддержки моделирования следующего события:

  1. Моделирование отправляет сообщение запроса события в свой ACM с параметром времени, соответствующим времени моделирования T (время его следующего локального события).
  2. Если у ACM есть сообщения для его моделирования с отметками времени старше или такими же, как T, ACM отправляет самое старое из них в моделирование. Если все сообщения имеют метки времени новее, чем T, ACM отправляет аванс гранта в моделирование, давая ему разрешение на обработку своего локального события в момент времени T.
  3. Моделирование отправляет любые сообщения, возникающие в результате события, в свой ACM.
  4. Моделирование повторяется с шага (1).

Механизм поддержки пошагового моделирования:

  1. Моделирование обрабатывает все события за некоторый промежуток времени. .
  2. Моделирование отправляет предварительный запрос в свой ACM на время .
  3. ACM отправляет все сообщения с отметками времени в интервале к моделированию, за которым следует грант-аванс до T +? T.
  4. Моделирование отправляет любые сообщения за интервал в ACM.
  5. Моделирование повторяется с шага (1).

AIS включает механизм предотвращения тупиковых ситуаций с использованием нулевых сообщений. Механизм требует, чтобы процессы смотреть вперед характеристики.

Управление объектами

ACM управляет базой данных атрибутов и фильтрует информацию. В базе данных атрибутов хранятся объекты, известные моделированию, принадлежащие или скрытые, а также атрибуты тех объектов, которыми в настоящее время владеет симуляция. Для любого класса объектов атрибуты могут быть членами

  • Создать набор. Атрибуты, минимально необходимые для представления объекта
  • Набор процентов. Полезная, но не обязательная информация
  • Набор обновлений. Значения атрибутов объекта, сообщаемые конфедерацией посредством моделирования.

Информационный поток по сети можно дополнительно ограничить с помощью фильтров. Фильтрация обеспечивает различение по (1) классу объекта, (2) значению или диапазону атрибута и (3) географическому положению. Фильтры также определяют взаимодействия, относящиеся к моделированию.

Если (обновление проходит все критерии фильтрации) | Если (объект известен моделированию) | | Отправить новые значения атрибутов в моделирование | Остальное (объект неизвестен) | | Если (имеется достаточно информации для создания призрака) | | | Отправить сообщение для моделирования | | Остальное (информации недостаточно) | | | Информация о магазине предоставлена ​​| | | Отправить запрос в конфедерацию об отсутствующих данных Else (обновление не соответствует критериям фильтрации) | Если (объект известен моделированию) | | Отправить сообщение об удалении симуляции | Остальное | | Отменить данные обновления

Информация о владении и фильтрации, поддерживаемая ACM, предоставляет информацию, необходимую для координации передачи прав собственности на атрибут между симуляциями.

Эмулятор трансляции ALSP (ABE)

Эмулятор широковещательной передачи ALSP (ABE) облегчает распространение информации ALSP. Он получает сообщение по одному из своих каналов связи и повторно передает сообщение по всем оставшимся каналам связи. Это позволяет создавать конфигурации, в которых все компоненты ALSP являются локальными по отношению друг к другу (на одном компьютере или в локальной сети). Это также позволяет конфигурации, в которых наборы ACM обмениваются данными со своими собственными локальными ABE с обменом данными между ABE по глобальным сетям.

Схема связи

Схема связи ALSP состоит из (1) модели межкомпонентной связи, которая определяет интерфейс транспортного уровня, который соединяет компоненты ALSP, (2) многоуровневого протокола для обмена данными между моделированием, управления объектами и управления временем, (3) схема фильтрации сообщений для определения информации, представляющей интерес для моделирования, и (4) механизм интеллектуального распределения сообщений.

Модель межкомпонентных коммуникаций

AIS использует модель связи с постоянным подключением[4] для обеспечения межкомпонентной связи. Интерфейс транспортного уровня, используемый для обеспечения межкомпонентной связи, был продиктован требованиями моделирования и интерфейсами транспортного уровня в операционных системах с поддержкой AIS: локальные платформы VMS использовали общие почтовые ящики; нелокальные платформы VMS использовали либо Transparent DECnet, либо TCP / IP; и UNIX-подобные платформы используют TCP / IP.

Протокол ALSP

Протокол ALSP основан на наборе ортогональных проблем, которые составляют проблемное пространство ALSP: связь между симуляцией, управление объектами и управление временем. Эти проблемы решаются с помощью многоуровневого протокола, в верхней части которого находится протокол моделирования с лежащими в его основе протоколами моделирования / ACM, управления объектами, управления временем и распространения событий.

Протокол моделирования

Протокол моделирования - это основной уровень протокола ALSP. Он состоит из четырех типов сообщений:

  • Обновлять. Объекты в ALSP определяются уникальным идентификатором, классом и набором атрибутов, связанных с c1ass. Когда имитация изменяет состояние своих объектов, она отправляет в ACM сообщения обновления, которые предоставляют начальные или измененные значения атрибутов. Затем ACM передает информацию через AIS другим моделям, которые проявили интерес.
  • Взаимодействие. Взаимодействия между объектами идентифицируются по видам. Виды взаимодействия описываются параметрами, так же как объекты описываются атрибутами. Когда объект моделирования взаимодействует с объектом другого моделирования или географической областью, моделирование отправляет сообщение взаимодействия в ACM для дальнейшего распространения среди других заинтересованных имитаций.
  • Обновить запрос. Моделирование может запросить обновление набора значений атрибутов для любого объекта или класса объектов, отправив сообщение запроса обновления в конфедерацию.
  • Удалить. Когда симуляция заставляет один из своих объектов перестать существовать, симуляция отправляет сообщение об удалении, чтобы проинформировать другие симуляции.

Протокол моделирования основан на тексте. Он определяется LALR (1) контекстно-свободная грамматика. Семантика протокола зависит от конфедерации, где набор классов, атрибутов классов, взаимодействий и параметров взаимодействия является переменным. Следовательно, синтаксическое представление протокола моделирования может быть определено без априорного знания семантики объектов и взаимодействий какой-либо конкретной конфедерации.

Протокол моделирования / подключения ACM

Протокол соединения моделирования / ACM предоставляет услуги для управления соединением между имитацией и его ACM, а также метод обмена информацией между симуляцией и его ACM. Две службы управляют рассылкой сообщений протокола моделирования: события и отправки. Сообщения о событиях имеют временную метку и доставляются в согласованном во времени порядке. Сообщения об отправке доставляются как можно скорее, без учета времени моделирования. Дополнительные сообщения протокола обеспечивают состояние соединения, регистрацию фильтра, управление блокировкой атрибутов, управление сохранением конфедерации, управление ресурсами объекта и службы контроля времени.

Протокол управления объектами

Протокол управления объектами - это протокол однорангового уровня, который находится ниже протокола моделирования и предоставляет услуги управления объектами. ACM используют его исключительно для создания, получения, выпуска и проверки атрибутов объекта (согласованности базы данных распределенных объектов). Эти службы позволяют AIS управлять владением распределенными объектами.

Распределенное владение объектами предполагает, что ни одна симуляция не должна владеть всеми объектами в конфедерации, но многие симуляции требуют знания некоторых объектов. При моделировании используются сообщения об обновлении протокола моделирования для обнаружения объектов, принадлежащих другим симуляторам. Если эта симуляция интересуется объектами, она может отображать их (отслеживать их местоположение и состояние) и моделировать взаимодействия с ними от принадлежащих им объектов.

Блокировки реализуют владение атрибутом. Основная функция протокола управления объектами - гарантировать, что моделирование обновляет только те атрибуты, для которых была установлена ​​блокировка. В менеджер объекта в ACM управляет объектами и атрибутами принадлежащих и скрытых объектов, известных ACM. Услуги, предоставляемые протоколом моделирования / ACM, используются при моделировании для взаимодействия с механизмом блокировки атрибутов ACM. Для координации статуса, запроса, получения и освобождения атрибутов объекта между ACM используется протокол управления объектами. Каждый атрибут каждого объекта, известного данному ACM, имеет статус, который принимает одно из трех значений:

  • Заблокировано. Симуляция управляет атрибутом и может обновлять значение атрибута. Симуляция «владеет» атрибутом, если он заблокирован. Симуляция «владеет» объектом, если его атрибут id заблокирован.
  • Разблокирован. В настоящее время симуляция не контролирует атрибут. Любая симуляция, требующая управления, получает контроль.
  • Ушел. Состояние контроля находится в другом месте конфедерации.

С точки зрения ACM, объекты возникают в результате процесса регистрации, выполняемого его имитацией, или посредством обнаружения объектов, зарегистрированных другими симуляциями. Блокировка атрибутов начального состояния для зарегистрированных и обнаруженных объектов выглядит следующим образом:

  • Регистрация объекта переводит каждую пару объект-атрибут в заблокированное состояние. При моделировании можно дополнительно указать атрибуты, которые должны находиться в разблокированном состоянии.
  • Обнаружение объекта добавляет объект в базу данных объектов как призрачный объект. Все атрибуты этого объекта отмечены статусом «утерян».

Протокол управления временем

Протокол управления временем также является протоколом однорангового уровня, который находится ниже протокола моделирования. Он предоставляет услуги управления временем для синхронизации времени моделирования между ACM. Протокол предоставляет услуги для распределенной координации входа симуляции в конфедерацию, временной прогрессии и сохранения конфедерации.

Службы присоединения / выхода и механизмы синхронизации времени описаны в разделе ранее. Механизм сохранения обеспечивает отказоустойчивость. Координация необходима для создания согласованного снимка всех ACM, трансляторов и симуляторов для определенного значения времени симуляции.

Фильтрация сообщений

ACM использует имитационную фильтрацию сообщений для оценки содержания сообщения, полученного от конфедерации. ACM доставляет в свою симуляцию сообщения, которые представляют интерес, и проходит критерии фильтрации и отбрасывает те, которые не представляют интереса. ACM фильтрует два типа сообщений: сообщения обновления и сообщения взаимодействия.

Обновите сообщения. ACM оценивает сообщения обновления на основе критериев фильтрации сообщений обновления моделирования, которые предоставляет имитация. Как обсуждалось ранее, когда ACM получает сообщение обновления, есть четыре возможных результата: (1) ACM отклоняет сообщение, (2) ACM отправляет моделированию сообщение создания, (3) ACM отправляет моделирование сообщение обновления или (4) ACM отправляет моделирование сообщение об удалении.

Сообщения взаимодействия. ACM может отбрасывать сообщения взаимодействия из-за параметра вида. Параметр kind имеет иерархическую структуру, аналогичную структуре класса объекта. Моделирование информирует свой ACM о видах взаимодействия, которые должны пройти или не пройти фильтр взаимодействия.

Рассылка сообщений

Чтобы минимизировать трафик сообщений между компонентами в конфедерации ALSP, AIS использует форму интеллектуальной маршрутизации сообщений, которая использует протокол распространения событий (EDP).[5] EDP ​​позволяет ACM информировать другие компоненты AIS об обновлениях и фильтрах взаимодействия, зарегистрированных при их моделировании. В случае сообщений об обновлении распространение этой информации позволяет ACM распределять данные только по классам (и атрибутам классов), которые представляют интерес. в конфедерацию. ABE также использует эту информацию для отправки только той информации, которая представляет интерес для обслуживаемых компонентов. Для сообщений взаимодействия процесс аналогичен, за исключением того, что параметр kind в сообщении взаимодействия определяет, куда отправляется сообщение.

Смотрите также

Рекомендации

  1. ^ Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе», Коммуникации ACM, 21 (7), стр. 558-565, июль.
  2. ^ Бальчи, О., Нэнс, Р.Э., Деррик, Э.Дж., Пейдж, Э. и Бишоп, Дж. Л. (1990). «Проблемы создания моделей в среде поддержки моделирования», в: Труды Зимней конференции по моделированию 1990 г., стр. 257-263, Новый Орлеан, Луизиана, 9–12 декабря.
  3. ^ Нэнс, Р. (1971). «О механизмах потока времени для моделирования дискретных событий», Наука управления, 18 (l), стр. 59-93, сентябрь.
  4. ^ Боггс, Д. Шох, Дж. Ф., Тафт, Э. А., Меткалф, Р. М. (1979). «ЩЕНОК: Межсетевая архитектура», отчет CSL-79-10, Исследовательский центр XEROX в Пало-Альто, июль.
  5. ^ Уэтерли, Р.М., Уилсон, А.Л. и Гриффин, С.П. (1993). "ALSP - теория, опыт и будущие направления", в: Труды Зимней конференции по моделированию 1993 г., стр. 1068-1072, Лос-Анджелес, Калифорния, 12–15 декабря.