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

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

[Pat Canny]

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]

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]

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.