MathWorks Anuncia el Lanzamiento de Simulink Design Verifier 2.0

Ofrece nuevas capacidades para la detección automática de errores en modelos de Simulink

Madrid, Spain - (7 jul 2011)

Simulink Design Verifier utiliza métodos formales para identificar errores de diseño tales como desbordamientos, división por cero, lógica muerta e infracción de aserciones (en rojo en la captura de pantalla).
Simulink Design Verifier utiliza métodos formales para identificar errores de diseño tales como desbordamientos, división por cero, lógica muerta e infracción de aserciones (en rojo en la captura de pantalla).

MathWorks ha anunciado hoy que Simulink Design Verifier incluye ahora la tecnología de análisis de Polyspace para la detección automatizada de errores en modelos de Simulink. Simulink Design Verifier 2.0 integra la detección de errores de Polyspace junto con las capacidades existentes de generación de pruebas y de demostración depropiedades para contribuir a reducir el tiempo necesario para localizar y encontrar la causa raíz de errores de diseño, lo que disminuye el coste total de verificación y validación.

Los ingenieros de los sectores aeroespacial, de automoción, médico, de automatización industrial y de maquinaria pueden aplicar ahora el diseño basado en modelos con los métodos de análisis formal proporcionados por Simulink Design Verifier 2.0 para identificar errores de diseño en modelos de Simulink y Stateflow sin necesidad de realizar un amplio número de simulaciones o pruebas.

Entre las principales funciones del producto se incluyen:

  • Detección de lógica muerta, desbordamientos de enteros y punto fijo, división por cero e infracción de aserciones.
  • Bloques y funciones para el modelado de requisitos funcionales y de seguridad.
  • Generación de vectores de pruebas a partir de requisitos funcionales y objetivos de cobertura de modelos.
  • Demostración de propiedades, con generación de ejemplos de infracción para análisis y  depuración.
  • Compatibilidad con modelos de punto fijo y de punto flotante.

Si desea ver una demostración en vídeo con una descripción de Simulink Design Verifier y sus nuevas capacidades, visite mathworks.com/products/sldesignverifier.

Simulink Design Verifier se pondrá a la venta de forma inmediata. Los precios para el mercado europeo  comienzan a partir de €8.000.. Para obtener más información, visite el sitio web del producto en mathworks.com/products/sldesignverifier.

Sobre MathWorks

MathWorks es la compañía líder en el desarrollado de software de cálculo matemático. MATLAB®, el lenguaje del cálculo técnico, es un entorno de programación para el desarrollo de algoritmos, cálculo numérico, análisis de datos y visualización. Simulink® es un entorno gráfico para la simulación y el diseño basado en modelos para sistemas dinámicos multidominio y sistemas embebidos. Ingenieros, científicos y analistas de todo el mundo, confían en esta familia de productos para acelerar el proceso de investigación, innovación y desarrollo en los sectores como: automoción, aeroespacial, electrónica, servicios financieros, farmacéutico y biotecnología, entre otros. Los productos MathWorks también constituyen herramientas fundamentales para la enseñanza y la investigación en universidades y centros docentes. Fundada en 1984, MathWorks cuenta con más de 2200 trabajadores en 15 países y tiene su sede central en Natick, Massachusetts, EE. UU. Si desea obtener más información, visite es.mathworks.com.

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.