Systems Engineering ​​​​​​​STIMULUS ​​​​​​​

Among the various challenges System Engineers have to face, one is particularly difficult: imagine you have defined a set of requirements for a component of your system. This component can be made of several sub-components, sub-functions, and you need to refine and allocate the “component requirements” to each sub-component of the lower level.

You end up with a couple of dozen of requirements at the component level, and many more at the lower level.

How can you verify if this specification is globally consistent?

How can you verify if the behaviour of the lower level, according to the requirements you defined there, will provide the services that you defined at the upper level?

If the requirements are written in natural language, this verification is… very challenging, to say the least…

See in this video how easy this task becomes using STIMULUS:

​​​​​​​