Sensors and Systems
Breaking News
vHive Announces Breakthrough in Autonomous Offshore Wind Turbine Inspections with an In-House Solution
Rating12345NEW YORK — vHive, a global leader in infrastructure...
Safe Pro’s Airborne Response Awarded Purchase Order for Drone Aerial Inspections of Telecom Towers in South Florida
Rating12345Q4 2024 Drone Services Revenue Increasing, Driven by Completion...
RobotLAB Expands Drone Portfolio With Vision Aerial Partnership
Rating12345DALLAS – RobotLAB, an award-winning robotics integrator that delivers...

July 7th, 2011
MathWorks Announces Release of Simulink Design Verifier 2.0

  • Rating12345

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. Read More

Leave a Reply

Your email address will not be published. Required fields are marked *