Offers New Capabilities for Automatic Error Detection in Simulink Models.
MathWorks today announced that Simulink Design Verifier now includes Polyspace analysis technology for automated error detection in Simulink models. Simulink Design Verifier 2.0 integrates Polyspace error detection with existing property proving and test generation capabilities to help reduce the time required to find and fix the root cause of design errors, decreasing the overall cost of verification and validation.
Engineers across the aerospace, automotive, medical, and industrial automation and machinery industries can now apply Model-Based Design with formal analysis methods provided by Simulink Design Verifier 2.0 to identify design errors in Simulink and Stateflow models without extensive testing or simulation.
Key product features include:
Detection of dead logic, integer and fixed-point overflows, division by zero, and assertion violation
Blocks and functions for modeling functional and safety requirements
Test vector generation from functional requirements and model coverage objectives
Property proving, with generation of violation examples for analysis and debugging
Fixed-point and floating-point model support
For a video demo overview of Simulink Design Verifier and the new capabilities, please visit mathworks.com/products/sldesignverifier.
Jul 8, 2011
Popular Articles
- Neilsoft Signs ‘Technical Co-operation Agreement’ with TRIPLAN
- Delcam’s complete CAM range on show in Vietnam
- Apache Design's Totem Software Adopted by Fujitsu Semiconductor for Power Noise and Reliability Analysis
- AVEVA releases AVEVA Design Reuse
- Maruti Suzuki Case Study - Product lifecycle management solutions speed vehicle design and enable lower prices
- Autodesk Acquires T-Splines Modeling Technology Assets
- Gerber Technology Releases WebPDM™ Version 5.3
- Aras Expands Global Headquarters for Growth and Announces Several New Job Openings
- TurboViewer Pro Turns v2.0
- GibbsCAM 2009 to be Demonstrated at SolidWorks World 2009
