How can I express a state change and a time length in action for requirements table?

1 次查看（过去 30 天）

Cristian Napole 2022-11-23

评论： Midhulesh Vellanki 2022-12-22

Suppose that I have a requirement in an EARS form like follows:

While state1 = state_operational, when input1 = 1, the system shall satisfy output1 = 2 for at least 2 seconds.

1) Is there a way to express the interruption when the state changes? And what happens with the 2 seconds time in this case?

2) How can I express the "for at least 2 seconds"? I refer to this into the action column of requirements table.

Midhulesh Vellanki 2022-12-22

Requirements are plane text. If you are trying to test requirements to show coverage you can use assessments to test that the temporal behavior of your signal. https://www.mathworks.com/help/sltest/ug/temporal-assessments.html

在 Help Center 和 File Exchange 中查找有关 Formalize Requirements in Simulink Models 的更多信息

R2022a

Find the treasures in MATLAB Central and discover how the community can help you!

Translated by