проверка значения переменной по времени в UPPAAL

Я хочу написать это утверждение в свойстве «Если ввод во время t равен 0, а ввод во время t + 1 равен 1, то сброс системы будет равен единице». Я пишу это так,

xin(t)==0 && xin(t+1)==1 --> сброс==1.

но он показывает ошибку «ожидаемая функция». как я могу написать функцию.

Спасибо


properties uppaal
person Qurat    schedule 17.04.2017    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Предполагая, что t — это часы, а xin — переменная, попробуйте это как запрос:

t==0 && xin==0 --> t==1 && xin==1 imply reset==1
person mariusm    schedule 17.04.2017