Simulink enhancements.

The Math Works have announced the availability of Simulink Verification and Validation, a new product for Simulink that enables system designers and test engineers to perform continuous testing and verification throughout the development process.

With Simulink Verification and Validation, engineers can now use Model-Based Design to produce a validated executable specification. Through formal testing of systems and algorithms during the modelling and simulation phase, errors can be identified earlier, when they are easier and less costly to fix. Simutink Verification and Validation simplifies the system development workflow by allowing users to rapidly link requirements to designs and test cases and perform coverage analysis on Simulink models. Now, engineers can ensure that designs are validated earlier in the development process, by identifying inadequate requirements and exposing unnecessary constructs and design flaws at the model level. This capability is especially important as the complexity of designs increases and engineers are required to use more formal testing and documentation methods, which are crucial in safety-critical applications. Simulink Verification and Validation also provides engineers with the ability to link their requirements to formal requirements management systems such as Telelogic's DOORS, or to Microsoft Word, Microsoft Excel, or HTML formatted files.

www.mathwork.com