How can you refine the system-level requirements into accurate software requirements that are needed for the software development activities? SysML focuses on the architecture definition and the components working principles, so doesn’t help on this first question.

Once the software has been developed, how can you automatically verify it complies with its software requirements, without having to develop each and every test case manually?

Check this 10mn Stimulus video that presents Dassault Systèmes solution to these two challenges, enabling you to extend the use of models until the final validation phase when you test the integrated system: