Сконфигурируйте AUTOSAR коммуникация получателя отправителя с очередями

В поставленной в очередь коммуникации AUTOSAR данные, отправленные компонентом программного обеспечения отправителя AUTOSAR, добавляются к очереди, предоставленной Средой выполнения AUTOSAR (RTE). Недавно полученные данные не перезаписывают существующие непрочитанные данные. Позже, компонент программного обеспечения получателя считывает данные из очереди.

В Simulink® можно использовать сообщения Stateflow® для отправки модели и получения данные AUTOSAR с помощью очереди. Можно обработать ошибки, которые происходят, когда очередь пуста или полна. Можно задать размер очереди.

Можно симулировать поставленный в очередь получатель отправителя AUTOSAR (S-R) связь между моделями компонента, например, в симуляции уровня состава. Отправители данных и получатели могут запуститься на различных уровнях. Несколько отправителей данных могут связаться с одним получателем данных.

Чтобы начать, можно импортировать компоненты с отправителем с очередями и портами получателя из файлов ARXML в Simulink, или использовать Simulink, чтобы создать поставленного в очередь отправителя и порты получателя.

Рабочий процесс Simulink для моделирования AUTOSAR, с очередями, отправляет и получает

Вот общий рабочий процесс для моделирования поставленного в очередь отправителя AUTOSAR и компонентов получателя в Simulink.

  1. Сконфигурируйте одну или несколько моделей, когда AUTOSAR поставил в очередь компоненты отправителя и одну модель, как AUTOSAR поставил компонент получателя в очередь. Для каждой модели компонента используйте Словарь AUTOSAR и редактор Отображений Кода к:

    1. Создайте интерфейс данных S-R и его элементы данных.

    2. Создайте порт получателя или отправитель.

    3. Сопоставьте отправителя или порт получателя к выходному порту Simulink для отправки или импортируйте для получения. Установите режим доступа к данным AUTOSAR на QueuedExplicitSend или QueuedExplicitReceive.

    Например, смотрите, Конфигурируют Компоненты Отправителя и Получателя AUTOSAR для Коммуникации С очередями.

  2. Реализовывать AUTOSAR поставило в очередь отправителя или поведение компонента получателя, используйте сообщения Stateflow. Выполните общую процедуру, описанную в Модели Фидер Сборочного конвейера (Stateflow). Создайте график, добавьте состояния сообщения, реализуйте действия записи состояния, задайте условия изменения состояния или события, и задайте данные, чтобы сохранить переменные состояния. Наконец, соедините вводы и выводы строки сообщения графика с корневым импортом Simulink и выходными портами.

    Для получения дополнительной информации смотрите Реализацию, которую AUTOSAR, С очередями, Отправляют и Получают Обмен сообщениями.

  3. То, когда вы создаете AUTOSAR, поставило в очередь модель компонента получателя или отправитель:

    • Сгенерированный код C содержит вызовы Rte_Send_<port>_<DataElement> AUTOSAR или Rte_Receive_<port>_<DataElement> API. Сгенерированный код обрабатывает состояние сообщения, отправляют и получают вызовы.

    • Экспортируемые файлы ARXML содержат описания для коммуникации получателя отправителя с очередями. Сгенерированный ComSpec поскольку порт с очередями включает тип порта и длину очереди (на основе свойства QueueCapacity сообщения Simulink). В SwDataDefProps сгенерированный для элемента данных порта с очередями, SwImplPolicy установлен в Queued.

  4. Симулировать AUTOSAR поставило коммуникацию получателя отправителя в очередь в Simulink, создайте содержание состава, системы или модели тестовой обвязки. Включайте отправителя с очередями и компоненты получателя как модели, на которые ссылаются.

Сконфигурируйте компоненты отправителя и получателя AUTOSAR для коммуникации с очередями

Этот пример конфигурирует поставленного в очередь отправителя AUTOSAR и компоненты получателя в Simulink. Пример использует две модели в папке matlabroot/help/toolbox/autosar/examples CD к папке). Если вы копируете файлы в рабочую папку, располагаете модели. Чтобы видеть эти модели, соединенные для симуляции, смотрите, Конфигурируют Моделирование AUTOSAR Коммуникация Получателя Отправителя С очередями.

  • mAutosarSenderSWC1.slx

  • mAutosarReceiverSWC.slx

Откройте модель AUTOSAR, которую вы хотите сконфигурировать как отправитель с очередями или компонент получателя. Чтобы создать данные S-R взаимодействуют через интерфейс и отправитель с очередями или порт получателя:

  1. Откройте словарь AUTOSAR.

  2. Выберите S-R Interfaces. Чтобы создать интерфейс данных S-R, нажмите кнопку Add. Задайте его имя и количество связанных элементов данных S-R. Этот пример использует один элемент данных и в отправителе и в компонентах получателя.

  3. Выберите и расширьте новый интерфейс S-R. Выберите DataElements и измените атрибуты элемента данных. Вот является элемент данных DE1 для компонента отправителя.

  4. Расширьте узел AtomicComponents и выберите компонент AUTOSAR. Расширьте компонент.

  5. Выберите представление SenderPorts или ReceiverPorts и используйте его, чтобы добавить отправителя или порт получателя, которого вы требуете. Для каждого порта S-R выберите интерфейс S-R, который вы создали. Для компонента отправителя вот порт MsgOut отправителя, который использует интерфейс S-R Out1.

  6. Откройте редактор Отображений Кода. Выберите вкладку Inports или Outports и используйте ее, чтобы сопоставить импорт Simulink, или выходной порт к AUTOSAR поставил порт S-R в очередь. Для каждого импорта или выходного порта, выберите порт AUTOSAR, элемент данных и режим доступа к данным. Установите режим доступа к данным AUTOSAR на QueuedExplicitSend или QueuedExplicitReceive. В компоненте отправителя вот является выходной порт Simulink MsgOut, который сопоставлен с портом MsgOut отправителя AUTOSAR и элемент данных DE1, с режимом QueuedExplicitSend доступа к данным.

    То, когда вы сопоставляете импорт в AUTOSAR, поставило порт получателя в очередь, можно использовать Property Inspector (или Словарь AUTOSAR), представление порта, чтобы изменить его коммуникационную спецификацию AUTOSAR (ComSpec) приписывает QueueLength. Для получения дополнительной информации смотрите, Конфигурируют Порт AUTOSAR Sender-Receiver ComSpecs.

То, когда вы создаете AUTOSAR, поставило в очередь модель компонента получателя или отправитель:

  • Сгенерированный код C содержит вызовы Rte_Send_<port>_<DataElement> AUTOSAR или Rte_Receive_<port>_<DataElement> API. Сгенерированный код обрабатывает состояние сообщения, отправляют и получают вызовы.

  • Экспортируемые файлы ARXML содержат описания для коммуникации получателя отправителя с очередями. Сгенерированный ComSpec поскольку порт с очередями включает тип порта и длину очереди (на основе свойства QueueCapacity сообщения Simulink). В SwDataDefProps сгенерированный для элемента данных порта с очередями, SwImplPolicy установлен в Queued.

Реализовывать обменивающееся сообщениями поведение AUTOSAR поставило в очередь отправителя или компонент получателя, используйте сообщения Stateflow. Смотрите Реализацию, которую AUTOSAR, С очередями, Отправляют и Получают Обмен сообщениями.

Реализуйте AUTOSAR, с очередями, отправляют и получают обмен сообщениями

Реализовывать AUTOSAR поставило в очередь отправителя или поведение компонента получателя, этот пример использует сообщения Stateflow. Чтобы создать диаграмму Stateflow, выполните общую процедуру, описанную в Модели Фидер Сборочного конвейера (Stateflow).

  1. Добавьте, что график к AUTOSAR поставил в очередь модель компонента получателя или отправитель. Назовите график.

  2. Откройте график и добавьте связанные с сообщением состояния.

  3. Для каждого состояния добавьте действия записи. Поддерживаемые ключевые слова сообщения включают:

    • send(M) - Отправьте сообщение M.

    • receive(M) - Получите сообщение M.

    • isvalid(M) - Проверяйте, допустимо ли сообщение M (вытолканный и не отброшенное).

    • discard(M) - Явным образом отбросьте сообщение M. Сообщения неявно отбрасываются на выходе состояния после того, как сообщение получает операцию, завершается.

  4. Добавьте линии изменения состояния и задайте условия перехода или события на тех линиях.

    • Используйте условия, когда это необходимо, для перехода на основе условного оператора или изменения входного значения от блока Simulink. Для получения дополнительной информации смотрите Типы Действия Перехода (Stateflow).

    • Используйте события, когда это необходимо, для перехода на основе инициированного Simulink или входное событие вызова функции. Для получения дополнительной информации смотрите, Синхронизируют Компоненты модели Широковещательными Событиями (Stateflow).

  5. Задайте данные, которые хранят переменные состояния.

  6. Соедините вводы и выводы строки сообщения графика с корневым импортом Simulink и выходными портами.

Для получения дополнительной информации см. сообщения (Stateflow).

В контексте диаграммы Stateflow можно изменить свойства сообщения, такие как способность очереди и тип данных. (Для списка свойств смотрите Set Properties для сообщения (Stateflow).) Можно получить доступ к свойствам сообщения в Property Inspector, диалоговом окне свойств сообщения или Model Explorer. Просмотреть или изменить свойства сообщения с Property Inspector:

  1. Откройте график, который использует сообщения.

  2. Во вкладке Modeling откройте Symbols Pane и Property Inspector.

  3. В представлении Symbols выберите сообщение. Property Inspector отображает панели для свойств Message Data Properties и Advanced.

    Если график находится в компоненте получателя, Property Inspector также отображает Message Queue Properties. Чтобы сконфигурировать компонент получателя, чтобы использовать внешние очереди сообщений AUTOSAR RTE, убедитесь, что свойство Use internal queue очищено.

По умолчанию передайте тип данных, и полные значения очереди наследованы от сообщения Stateflow, до которого присоединяется корневой порт Simulink. Обменивайтесь сообщениями данные могут использовать эти типы данных параметров Simulink: int типы, uint типы, типы с плавающей точкой, boolean, Enum, или Bus Struct ()).

Если вы используете импортированные типы шины или типы данных перечисления в диаграммах Stateflow, определения типов требуются для симуляции. Чтобы сгенерировать определения типов автоматически, выберите параметр конфигурации Simulink Generate typedefs for imported bus and enumeration types. В противном случае используйте параметр конфигурации Simulink Simulation Target > Custom Code> Header file, чтобы включать заголовочные файлы с определениями.

Для демонстрационных реализаций отправителя с очередями и компонентов получателя в 1 к 1 настройке, смотрите модели компонента в качестве примера, используемые, и в Сконфигурируйте Компоненты Отправителя и в Получателя AUTOSAR для Коммуникации С очередями и Конфигурируйте Моделирование AUTOSAR Коммуникация Получателя Отправителя С очередями. Модели mAutosarSenderSWC1.slx и mAutosarReceiverSWC.slx расположены в папке matlabroot/help/toolbox/autosar/examples CD к папке).

Вот является верхний уровень поставленного в очередь компонента отправителя AUTOSAR mAutosarSenderSWC1, который содержит диаграмму Stateflow Turn Signal Generator. Строка сообщения графика выход соединяется с корневым выходным портом Simulink MsgOut.

Вот логика, реализованная в Turn Signal Generator график. График имеет четыре состояния – ActivateLeft, DeactivateLeft, ActivateRight, и DeactivateRight. Каждое состояние содержит действия записи, которые присваивают значение, чтобы передать данные и отправить сообщение. (См., Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).) Периодическая синхронизация управляет сообщением выход.

Вот является верхний уровень поставленного в очередь компонента получателя AUTOSAR mAutosarReceiverSWC, который содержит диаграмму Stateflow HMILogic. Вход строки сообщения графика соединяется с корневым импортом Simulink MsgIn.

Чтобы получить сообщение, поставленная в очередь логика получателя использует receive(M):

  • Если допустимое сообщение M существует, receive(M) возвращает true.

  • Если допустимое сообщение не существует, график удаляет сообщение из своей связанной очереди и receive(M) возвращает true. Если receive(M) удаляет сообщение из очереди, продолжительность отбрасываний очереди одним.

  • Если сообщение M недопустимо, и другое сообщение не могло бы быть удалено из очереди, receive(M) возвращает false.

Можно поместить receive на переходе (например, [receive(M)]. Или в состоянии используйте if условие (например, if(receive(M))). Для получения дополнительной информации смотрите, Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).

Вот логика, реализованная в HMILogic график. HMILogic содержит утверждает HMIRequestProcessing, LeftTurnSignal, и RightTurnSignal.

  • HMIRequestProcessing получает сообщение от очереди сообщений, вызывает функцию, чтобы обработать сообщение, и затем отбрасывает сообщение. processRequest функционируйте тестирует полученные данные о сообщении на значения, потенциально установленные отправителем сообщения - LeftTurnOn, RightTurnOn, LeftTurnOff, или RightTurnOff. На основе полученного значения функция постепенно увеличивает или постепенно уменьшает переменную счетчика запроса, любой leftTurnReqs или rightTurnReqs. Периодическая синхронизация управляет входом сообщения.

  • LeftTurnSignal и RightTurnSignal каждый содержит, утверждает Off и On. Они переходят от Off к On на основе значения запроса противостоят leftTurnReqs или rightTurnReqs и временной интервал. Когда счетчик запроса больше нуля, графики устанавливают переменную, любой leftSignalOut или rightSignalOut, к 1. После временного интервала они переходят назад к Off состояние и набор leftSignalOut или rightSignalOut к 0.

Для демонстрационных реализаций отправителя с очередями и компонентов получателя в настройке N-1, смотрите, что модели в качестве примера, используемые в, Симулируют N-1 AUTOSAR Коммуникация Получателя Отправителя С очередями.

Для демонстрационных реализаций событийно-управляемого обмена сообщениями с очередями смотрите, что модели в качестве примера, используемые в, Симулируют Событийно-управляемый AUTOSAR Коммуникация Получателя Отправителя С очередями.

Конфигурируйте моделирование AUTOSAR коммуникация получателя отправителя с очередями

Симулировать AUTOSAR поставило коммуникацию получателя отправителя в очередь в Simulink, создайте содержание состава, системы или модели тестовой обвязки. Включайте отправителя с очередями и компоненты получателя как модели, на которые ссылаются.

Вот модель уровня состава, которая содержит отправителя с очередями и модели компонента получателя и реализации 1 к 1 коммуникация. Периодическая синхронизация управляет обменом сообщениями. Этот пример использует три модели в папке matlabroot/help/toolbox/autosar/examples CD к папке). Если вы копируете файлы в рабочую папку, располагаете модели.

  • mAutosarQueuedMsgs_1_1.slx (топ-модель)

  • mAutosarSenderSWC1.slx

  • mAutosarReceiverSWC.slx

Модели mAutosarSenderSWC1 и mAutosarReceiverSWC тот же отправитель, и компоненты получателя, сконфигурированные в, Конфигурируют Компоненты Отправителя и Получателя AUTOSAR для Коммуникации С очередями и реализованный в Реализации, которую AUTOSAR, С очередями, Отправляют и Получают Обмен сообщениями. Модель mAutosarQueuedMsgs_1_1 уровня состава включает их как порт MsgOut компонента отправителя моделей и подключений, на который ссылаются, к порту MsgIn компонента получателя.

Топ-модель mAutosarQueuedMsgs_1_1 для симуляции только. Можно сгенерировать код С AUTOSAR и файлы ARXML для отправителя и моделей компонента получателя, но не для содержания модели уровня состава.

Точно так же можно запустить программное обеспечение в цикле (SIL) симуляция для отправителя и моделей компонента получателя, но не для модели уровня состава.

Симулируйте N-1 AUTOSAR коммуникация получателя отправителя с очередями

Вот модель уровня состава, которая содержит двух отправителей и модели компонента получателя, и реализует коммуникацию N-1. Периодическая синхронизация управляет обменом сообщениями. Этот пример расширяет 1 к 1 пример путем добавления второй модели отправителя и обеспечения логики потока между отправителями и получателем. Этот пример использует четыре модели в папке matlabroot/help/toolbox/autosar/examples CD к папке). Если вы копируете файлы в рабочую папку, располагаете модели.

  • mAutosarQueuedMsgs_N_1.slx (топ-модель)

  • mAutosarSenderSWC1.slx

  • mAutosarSenderSWC2.slx

  • mAutosarReceiverSWC.slx

Модель mAutosarQueuedMsgs_N_1 уровня состава включает два компонента отправителя и компонент получателя как модели, на которые ссылаются. Это соединяет компонент отправителя MsgOut порты к промежуточному MsgJoin обработка логики, которая в свою очередь соединяет с компонентом получателя MsgIn порт.

Модели mAutosarSenderSWC1 и mAutosarReceiverSWC тот же отправитель, и компоненты получателя, сконфигурированные в, Конфигурируют Компоненты Отправителя и Получателя AUTOSAR для Коммуникации С очередями и реализованный в Реализации, которую AUTOSAR, С очередями, Отправляют и Получают Обмен сообщениями. Второй компонент отправителя, mAutosarSenderSWC2, похоже на mAutosarSenderSWC1, но реализует второй тип входа сообщения для получателя к процессу.

Вот является верхний уровень поставленного в очередь компонента отправителя AUTOSAR mAutosarSenderSWC2, который содержит диаграмму Stateflow Hazard Signal Generator. Строка сообщения графика выход соединяется с корневым выходным портом Simulink MsgOut.

Вот логика, реализованная в Hazard Signal Generator график. График имеет два состояния – HazardOff и HazardOn. Каждое состояние содержит действия записи, которые присваивают значения, чтобы передать данные и отправить сообщения. (См., Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).) Периодическая синхронизация управляет сообщением выход.

Вот MsgJoin график расположен между компонентами получателя и отправителем.

Вот логика, реализованная в MsgJoin график. График получает поставленные в очередь сообщения от компонентов отправителя и выводит их, по одному, к компоненту получателя. Сообщения от первого компонента отправителя, mAutosarSenderSWC1.slx, обрабатываются сначала. Для каждого полученного сообщения график копирует полученные данные о сообщении в исходящее сообщение, отправляет данные и отбрасывает полученное сообщение. (См., Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).)

Топ-модель mAutosarQueuedMsgs_N_1 для симуляции только. Можно сгенерировать код С AUTOSAR и файлы ARXML для отправителя, на которого ссылаются, и моделей компонента получателя, но не для содержания модели уровня состава.

Точно так же можно запустить программное обеспечение в цикле (SIL) симуляция для отправителя и моделей компонента получателя, но не для модели уровня состава.

Симулируйте событийно-управляемый AUTOSAR коммуникация получателя отправителя с очередями

Вот модель уровня состава, в которой входное событие вызова функции Simulink активирует обработку компонента получателя сообщения с очередями. Этот пример использует три модели в папке matlabroot/help/toolbox/autosar/examples CD к папке). Если вы копируете файлы в рабочую папку, располагаете модели.

  • mAutosarDREventMsgs.slx (топ-модель)

  • mAutosarMsgSender.slx

  • mAutosarHMILogicEvent.slx

Модель mAutosarDREEventMsgs уровня состава включает компонент отправителя и компонент получателя как модели, на которые ссылаются. Это соединяет порт DashLight сообщения отправителя к промежуточному Data Receive Trigger логика, которая в свою очередь соединяется с портом MsgIn сообщения получателя и функция инициировала порт Trigger.

Вот является верхний уровень поставленного в очередь компонента отправителя AUTOSAR mAutosarMsgSender, который содержит диаграмму Stateflow Turn Signal Generator. Строка сообщения графика выход соединяется с корневым выходным портом Simulink DashLight. (Этот компонент отправителя похож на mAutosarSenderSWC1 компонента в 1 к 1 и примеры симуляции N-1.)

Вот логика, реализованная в Turn Signal Generator график. График имеет четыре состояния – ActivateLeft, DeactivateLeft, ActivateRight, и DeactivateRight. Каждое состояние содержит действия записи, которые присваивают значение, чтобы передать данные и отправить сообщение. (См., Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).) Периодическая синхронизация управляет сообщением выход.

Вот Data Receiver Trigger график расположен между компонентами получателя и отправителем.

Чтобы получить сообщение, поставленная в очередь логика получателя использует receive(M):

  • Если допустимое сообщение M существует, receive(M) возвращает true.

  • Если допустимое сообщение не существует, график удаляет сообщение из своей связанной очереди и receive(M) возвращает true. Если receive(M) удаляет сообщение из очереди, продолжительность отбрасываний очереди одним.

  • Если сообщение M недопустимо, и другое сообщение не могло бы быть удалено из очереди, receive(M) возвращает false.

Можно поместить receive на переходе (например, [receive(M)]. Или в состоянии используйте if условие (например, if(receive(M))). Для получения дополнительной информации смотрите, Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).

Вот логика, реализованная в Data Receiver Trigger график. График получает поставленные в очередь сообщения от компонента отправителя. Для каждого полученного сообщения график копирует полученные данные о сообщении в исходящее сообщение, отправляет данные и отправляет событие вызова функции. (См., Связываются с диаграммами Stateflow путем Отправки сообщений (Stateflow).)

Вот является верхний уровень поставленного в очередь компонента получателя AUTOSAR mAutosarHMILogicEvent, который содержит подсистему вызова функций Simulink. Импорт подсистемы является триггером вызова функции и портом DashLight получателя сообщения, который сконфигурирован для режима QueuedExplicitReceive доступа к данным AUTOSAR.

Подсистема вызова функций содержит диаграмму Stateflow ProcessHMIRequests и Триггерная Блокировка порта. Вход строки сообщения графика соединяется с корневым импортом Simulink Msg. Осциллограф сконфигурирован, чтобы отобразить значение InvalidPath переменная.

Триггерная Блокировка порта сконфигурирована для триггера вызова функции и инициированного шага расчета. Вызов функции ввел события, отправленные от Data Receiver Trigger график в топ-модели активирует график.

Вот логика, реализованная в ProcessHMIRequests график. ProcessHMIRequests содержит утверждает HMIRequestProcessing, LeftTurnSignal, и RightTurnSignal. (Этот график получателя подобен, чтобы строить диаграмму HMILogic в 1 к 1 и примеры симуляции N-1.)

  • HMIRequestProcessing получает сообщение от очереди сообщений, вызывает функцию, чтобы обработать сообщение, и затем отбрасывает сообщение. processRequest функционируйте тестирует полученные данные о сообщении на значения, потенциально установленные отправителем сообщения - LeftTurnOn, RightTurnOn, LeftTurnOff, или RightTurnOff. На основе полученного значения функция постепенно увеличивает или постепенно уменьшает переменную счетчика запроса, любой leftTurnReqs или rightTurnReqs. Вызов функции ввел диск событий вход сообщения. Если график неправильно активируется, InvalidPath переменная установлена в 1.

  • LeftTurnSignal и RightTurnSignal каждый содержит, утверждает Off и On. Они переходят от Off к On на основе значения запроса противостоят leftTurnReqs или rightTurnReqs. Когда счетчик запроса больше нуля, графики устанавливают переменную, любой leftSignalOut или rightSignalOut, к 1. Затем они переходят назад к Off состояние и набор leftSignalOut или rightSignalOut к 0.

Топ-модель mAutosarDREventMsgs для симуляции только. Можно сгенерировать код С AUTOSAR и файлы ARXML для отправителя, на которого ссылаются, и моделей компонента получателя, но не для содержания модели уровня состава.

Точно так же можно запустить программное обеспечение в цикле (SIL) симуляция для отправителя и моделей компонента получателя, но не для модели уровня состава.

Определите, когда очередь переполнится

Чтобы проверять, потеряно ли сообщение, потому что оно было отправлено очереди, которая была уже полна, используйте overflowed Stateflow оператор:

overflowed(message_name)
В каждом временном шаге установлено значение этого оператора, когда график добавляет сообщение в или удаляет сообщение из, очередь. Это недопустимо, чтобы использовать overflowed оператор прежде, чем быть передающим или получить сообщение в том же временном шаге.

По умолчанию, когда очередь сообщений переполняется, остановки симуляции с ошибкой. Предотвратить ошибку времени выполнения и позволить overflowed оператор, чтобы динамически реагировать на пропущенные сообщения, установите значение свойства Queue Overflow Diagnostic к Warning или None. Для получения дополнительной информации смотрите Диагностику Переполнения Очереди (Stateflow).

Проверяйте на переполнение входного сигнала

Чтобы проверять состояние переполнения очереди входного сигнала, сначала удалите сообщение из очереди. Вы можете:

  • Охрана переход с сообщением и overflowed оператор.

  • Охрана переход с сообщением и вызовом overflowed оператор в действии записи целевого состояния.

  • Охрана on состояния действие с сообщением и вызовом overflowed оператор в действии.

  • В состоянии активности используйте receive оператор сопровождается overflowed оператор.

Вызов overflowed оператор прежде, чем получить входной сигнал в том же временном шаге приводит к ошибке времени выполнения.

Проверяйте на переполнение выходного сигнала

Чтобы проверять состояние переполнения очереди выходного сигнала, сначала добавьте сообщение в очередь. Вы можете:

  • Используйте send оператор сопровождается overflowed оператор.

  • Используйте forward оператор сопровождается overflowed оператор.

Вызов overflowed оператор прежде, чем быть передающим или передать выходной сигнал в том же временном шаге приводит к ошибке времени выполнения.

Проверяйте на локальное переполнение сообщения

Чтобы проверять состояние переполнения локальной очереди сообщений, или добавьте сообщение в очередь или удалите сообщение из очереди прежде, чем вызвать overflowed оператор. Вызов overflowed оператор прежде, чем быть передающим или получить локальное сообщение в том же временном шаге приводит к ошибке времени выполнения.

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

Связанные примеры

Больше о