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.
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 system through the use of Modelworks®.