Verification Software
The MathWorks announces Simulink Verification and Validation, a product for Simulink® that enables system designers and test engineers to perform continuous testing and verification throughout the development process. With this product, engineers can now use model-based design to produce a validated executable specification. Through formal testing of systems and algorithms during the modeling and simulation phase, errors can be identified earlier. Simulink 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. The product 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, and then navigate back and forth between the requirements and model. Additionally, users can generate coverage reports in order to view untested design elements.
The Mathworks
The Mathworks
3 Apple Hill Drive
Natick, MA, 01760-2098
© 2008 Advantage Business Media
|
