Can I describe a state machine with requirements table app in Simulink?

Question

Cristian Napole 2022-10-18

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1829818-can-i-describe-a-state-machine-with-requirements-table-app-in-simulink

评论： Dalton L'Heureux 2022-10-18

Is it possible to use a state machine (like one that could be defined in transitions table from stateflow app) in requirements table?

2 个评论
显示无隐藏无

Pat Canny 2022-10-18

Hi @Cristian Napole,

Great question! This is feasible. I have passed along your question to my colleague who developed the table - expect an answer below from him shortly.

Thanks.

Dalton L'Heureux 2022-10-18

Hey @Cristian Napole, I've got a demo for doing just this I'd be happy to show you. There are a few things you need to be aware of to get this to work. I'd also be interested on learning about your end goal for having the state machine in a Requirements Table.

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Darren Valovcin 2022-10-18

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1829818-can-i-describe-a-state-machine-with-requirements-table-app-in-simulink#answer_1078098

Yes, it is possible to model a state machine in the Requirements Table. Create an output data for the Table which represents the current state, often done by defining an enum whose values correspond to the state names. Then you can use the isStartup keyword in a requirement precondition to define the initial state, and the prev function with the output data in subsequent requirements to specify how the state should evolve.