THe benefits of using Modelworks®

Ensuring that designs in Simulink/Stateflow satisfy their requirements can be difficult and subjective through a review process; try using automated verification using Modelworks®.

Designs can be verified as compliant through the use of preparatory automated checks by Modelworks®.

In this way relevant software requirements are completely, correctly and accurately represented in the design. Should there be compliance failures, Modelworks® will automatically isolate the issue to the relevant part of the design and relating it to the right requirements.

The results are presented in a manner that enables software engineers to develop solutions to either the requirements or to the design. Once the necessary corrections have been made, the engineer can then quickly check, either that the individual requirements are now correctly represented in the design, or check them all at once. This saves considerable time and effort in later stages of the development life cycle.

Benefit 1

Reduces the opportunity for design errors

Benefit 2

Objective evidence of design correctness

Benefit 3

Simple compliance to design standards

Benefit 4

Check individual requirements satisfaction

Benefit 1

Reduces the opportunity for error

Benefit 2

Requirements are verifiable

Benefit 3

Simple compliance
to standards

Benefit 4

Automatic checks for consistency

Benefit 1

Lorem ipsum dolor sit amet, consectetur adipiscing elit

Benefit 2

Lorem ipsum dolor sit amet, consectetur adipiscing elit

Benefit 3

Lorem ipsum dolor sit amet, consectetur adipiscing elit

Benefit 4

Lorem ipsum dolor sit amet, consectetur adipiscing elit

modelworks® in practice

Design engineers using Simulink/Stateflow for embedded control systems are likely to benefit from the use of Modelworks®. The exploration of design to ensure that it correctly represents the intent of the requirements can be automated.

It gives the designer the option to explore different designs, enabling the selection of the most maintainable, most easily understood design while also optimising efficiency for future coding.

It means that where there is uncertainty of the required behaviour, this can be explored, changes incorporated and checked. As a result it will mean the achievement of working software with fewer iterations of the later more expensive stages of software development.

creating solutions

D-RisQ has used Modelworks® to check the behaviour of a number of systems including highly assured decision making for autonomous vehicles in air, maritime and sub-surface.

Additionally, we have helped a number of aerospace clients with assurance of designs for a number of avionics systems through the use of Modelworks®.