ГОСТ IEC 60848—2016
Для описания ассоциации операций с событиями (этап активации, этап деактивации, сброс пере
хода ит. д.) необходимы представления в явной форме.
Значение выходной или внутренней поременной, относящейся к операции хранения, остается
неизменным до нового оговоренногособытия, изменяющегоего значение.
Локализация относится к хранению, в рассматриваемый момент, определенного значения, ока
завшего влияние навыходную или внутреннюю переменную.
Правило локализации: значение выходной или внутренней переменной, относящиеся к операции
хранения и связанной с событием, распределяется на указанную переменную, если происходит
обусловленное внутреннее событие: значениеэтой переменной «ложно» (логическая переменная) или
равно нулю (числовая переменная) при инициализации.
4.9Применение правил эволюции
4.9.1 Общие положения
Интуитивно понятное толкование эволюции, именуемое «шаг за шагом», обозначает прогрессив
ный способ, позволяющий при возникновении входного события ис учетом предшествующей ситуации
определятьследующуюситуациюдля этогособытия путем последовательного применения правил эво
люции к каждому переходу. Объектом интерпретации является устройство, позволяющее косвенную
детализацию эволюции, ноконструктордолжен позаботитьсяотом.чтобы сброспереходовнаэтомпути
не затрагивал эффективную активацию промежуточныхситуаций.
4.9.2 Эволюция не-лерохода
Понятие «эволюция не-перехода» означает, что входное событие приводит только коднойстадии
эволюции (одновременный сбросодного или нескольких переходов).
(а)+ с
W + с
1 1 1 I
11
I • I
ПРИМЕР: «Эволюция не-перехода»
Предшествующая ситуация, этап 11 активен. а =0. Ь = 0 и с = 0.
Интуитивно понятное толкование эволюции.
Изменение в знамении «а» включает сброс перехода (1) и активацию эта
па 12, переход(2)не может быть сброшен, поскольку Ь=0. последующая ситуация
будет: этап 12 активен.
Реальная интерпретация эволюции.
Появление одного из входных событий, таких как изменения «а» от 0 к 1
ведет прямо к следующей ситуации: этап 12 активен.
4.9.3 Эволюция перехода
В некоторых случаях применение правил эволюции может привести к последовательному сбросу
некоторых переходов (в нескольких этапах эволюции), если условия переходов, ассоциированные с
последующими переходами, уже имеют состояние «истинно», когда первые рассматриваемые перехо
ды. сбрасываются. Соответствующее описание, рассматриваемое как переходное, использует путь,
показывающий развитие от предшествующей ситуации к последующей ситуации (см. 3.9).
Соответствующие промежуточные этапы, рассматриваемые как нестабильные, не активируются,
тем не менее их рассматривают как бы «виртуально» активированными идеактивированными на пути
интуитивной эволюции, так же как и соответствующие переходы, которые были «виртуально» сбро
шены.
8