Dépêches
MathWorks Announces Release of Simulink Design Verifier 2.0
Dépèche transmise le 7 juillet 2011 par Business Wire
MathWorks Announces Release of Simulink Design Verifier 2.0
NATICK, Mass.--(BUSINESS WIRE)--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.
Availability and Pricing
Simulink Design Verifier is available immediately. U.S. list prices start at $8000. For further information, visit the product Web site at mathworks.com/products/sldesignverifier.
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 2200 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.
Photos/Multimedia Gallery Available: http://www.businesswire.com/cgi-bin/mmg.cgi?eid=6751990&lang=en
- 23/04 SkyUp renouvelle son partenariat avec Wizz Air
- 23/04 Play : résultats de mars 2024
- 23/04 Les garde-côtes japonais commande trois Airbus H225 supplémentaires
- 23/04 Vueling et Make-A-Wish France signent un partenariat
- 23/04 TUI annonce ses destinations au départ de Deauville pour l'été 2024.
- 23/04 Twin Jet renforce son programme de vols sur la ligne Toulouse/Rennes
- 23/04 Norse Atlantic Airways : résultats du mois de mars 2024
- 23/04 Volotea renforce son offre entre Lille et le Maroc
- 22/04 Finnair a dévoilé son programme de vol pour les saisons hiver 2024 et été 2025
- 22/04 Qatar Airways annonce le lancement de vols à destination de Kinshasa
- 22/04 Vietnam Airlines et CAE prolongent leur accord
- 22/04 Mermoz Academy de Tours commande des Tecnam P-Mentor
- 22/04 Transavia France reçoit son 2e Airbus A320neo
- 20/04 Friedrichshafen 2024 : Blackwing présente un nouveau modèle de son BW650RG
- 20/04 Friedrichshafen 2024 : JMB Aircraft présente son Phoenix
- 19/04 Friedrichshafen 2024 : le projet "Fly To The North"
- 19/04 Friedrichshafen 2024 : Aura Aero présente pour la première fois ses trois appareils
- 19/04 Friedrichshafen 2024 : Duc Hélices présente son hélice Tiger-3
- 19/04 Friedrichshafen 2024 : Splash-in Aviation expose son Pétrel X
- 19/04 Friedrichshafen 2024 : Robin "toujours présent et pour longtemps"