Product category: Design and Development Software
News Release from: The MathWorks | Subject: Simulink Design Verifier
Edited by the Electronicstalk Editorial Team on 5 June 2007
Verification validates simulation
Software generates tests and proves design properties for Simulink and Stateflow models using the Prover Plug-In from Prover Technology
New from The MathWorks, Simulink Design Verifier generates tests and proves design properties for Simulink and Stateflow models using the Prover Plug-In from Prover Technology. Developers of embedded systems - especially complex or safety-critical systems - can now automatically obtain test cases to satisfy industry-standard metrics, such as modified condition/decision coverage (MC/DC), while uncovering design errors earlier in the development process when they are significantly less expensive to fix.
This article was originally published on Electronicstalk on 5 June 2007 at 8.00am (UK)
Related stories
Embedded computing language released
Embedded Matlab users can avoid the time-consuming and error-prone process of rewriting Matlab algorithms in C
New compatibility eases RF design
RF Blockset 2 lets engineers import system-level verification models in the S2D, P2D and AMP formats
Simulation, a key activity of model-based design, enables engineers to gain insight into system behaviour, tune parameters for optimal performance and ensure that their design behaves as intended.
Simulink Design Verifier augments simulation with new verification and validation technology based on formal methods that significantly reduces the need to hand-code tests for establishing complete model coverage and verifying requirements.
Engineers can generate test inputs that satisfy standard coverage objectives as well as user-defined test objectives and requirements.
These test inputs can also be combined with tests defined using measured data so that simulations are testing against model coverage, requirements and real-world scenarios.
For property proving, engineers can directly capture design requirements and performance objectives as properties in their Simulink or Stateflow models.
Further reading
Simulator models system functions
SimEvents 2 allows engineers to develop applications for packet-based communications, supervisory control, computer architecture, mission planning, manufacturing, logistics and other areas
Model-based design supports Autosar
Volkswagen has demonstrated to the automotive industry how the Autosar standard can be put into practice and integrated into next-generation vehicle design and development
Link brings model based design to ADI DSPs
Link for Analog Devices VisualDSP++ integrates Matlab and Simulink with the Analog Devices VisualDSP++ integrated development and debugging software environment
Simulink Design Verifier mathematically proves whether those properties are satisfied and, if not, provides counterexamples that would violate the properties.
As a result, engineers can find design flaws, unsatisfied requirements and unreachable states or logic that would be difficult to uncover using simulation alone.
'Model-based design is becoming widely used for embedded system development, moving from R and D and proof-of-concept projects, into production programmes', says Paul Barnard, Marketing Director of Design Automation at The MathWorks.
'With this shift, customers have a critical need for verification, validation and testing tools that Simulink Design Verifier helps to address'.
Simulink Design Verifier incorporates the Prover Plug-In proof engine from Prover Technology, which automatically generates test cases and counterexamples.
It also performs proofs by using automated mathematical reasoning to explore model execution paths.
Such systematic analysis complements simulation and provides deeper insight into the behaviour of designs.
'We worked closely with The MathWorks to extend our Prover Plug-In interface to handle the dynamic systems that are typically modelled in Simulink and Stateflow', says Marcus Tallhamn, Chief Marketing Officer at Prover Technology.
'We are proud to be part of a tool that enables embedded system developers without formal-methods expertise to perform state-of-the-art formal verification'.
Simulink Design Verifier is available immediately for the Microsoft Windows and Linux platforms.
• The MathWorks: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
•
• Electronicstalk Home Page
Related Business News
Icoa Is Partnering With Anchorfree To...
...Enhance And Monetize Thousands Of Wi-fi Hotspots. Icoa, Inc., a national provider of wireless broadband Internet access and managed network services in high-traffic public locations, and AnchorFree Inc., a rapidly growing Wi-Fi community powered by advertising, have announced today that they are partne
The Johns Hopkins Hospital and Transplant...
...Software Maker TeleResults Reach Major Milestone. One Year After Deployment of State-of-the-Art EMR Solution, Leading Transplant Center Reports Dramatic Return on Investment.
Microsoft's Silverlight makes its awaited debut
One of Microsoft's most anticipated new products is a free, tiny download that will run on Windows, Mac and eventually Linux, and went from...
Microsoft Releases Silverlight 1.0
Microsoft today released to the Web (RTW) Silverlight™ 1.0, a cross-browser, cross-platform plug-in for delivering richer user experiences on the Web.
Help for the Poor Could Solve Many District Problems
With all the high-tech crime-fighting gadgets and gizmos being deployed throughout the District in the past couple of years, you'd expect to see at least a dent in violent crime.
Search the Pro-Talk network of sites
