Systems Engineering MBSE STIMULUS
State-Machines are often used to specify the expected behaviour of an embedded system, but at the end, the textual requirements remain the reference in the PLM environment or in the contracts.
How can you assess if a state-machine and the supposedly equivalent requirements are really equivalent? A manual review will not do the job.
Just watch this new 3mn STIMULUS video:
Related posts:
