The MathWorks Introduces Simulink Design Verifier
New Tool Automates Test Generation and Property Proving for Model-Based Design Using Formal-Methods Engine from Prover Technology
Tests in a model harness and associated reports generated by Simulink Design Verifier. These tests can then be run in simulation.
NATICK, Mass. - (4 Jun 2007)
The MathWorks today introduced Simulink® Design Verifier, which 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.
Simulation, a key activity of Model-Based Design, enables engineers to gain insight into system behavior, 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. 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&D and proof-of-concept projects into production programs,” said
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 behavior of designs.
“We worked closely with The MathWorks to extend our Prover Plug-In interface to handle the dynamic systems that are typically modeled in Simulink and Stateflow,” said
Pricing and Availability
Simulink Design Verifier is available immediately for the Microsoft Windows and Linux platforms. U.S. list prices start at $8,000.
About MathWorks
MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design of multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 2,000 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit www.mathworks.com.
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.
Press Contacts
| Len Dieterle MathWorks Tel: (508) 647-4404 Fax: (508) 647-7001 E-mail: len.dieterle@mathworks.com |
Sean Audet Text 100 Tel: (617) 723-1044 E-mail: mathworks@text100.com Web: www.text100.com |
