The MathWorks lanza Simulink Design Verifier 2.0

http://www.mathworks.es/
Avatar de Usuario
megacam
Moderador Global
Moderador Global
Mensajes: 13577
Registrado: Enero 18th, 2009, 12:13 am
Ubicación: barcelona
Contactar:

The MathWorks lanza Simulink Design Verifier 2.0

Mensaje sin leer por megacam » Enero 3rd, 2012, 10:39 pm

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

The MathWorks ha anunciado hoy que el Comprobador de Simulink Design incluye ahora PolySpace tecnología de análisis para la detección automática de errores en los modelos de Simulink. Simulink Design Verificador 2.0 se integra con la detección de errores PolySpace demostrar la propiedad existente y las capacidades de generación de prueba para ayudar a reducir el tiempo requerido para encontrar y corregir la causa raíz de los errores de diseño, reduciendo el costo total de la verificación y validación.
simulink verifier.jpg
simulink verifier.jpg (42.35 KiB) Visto 487 veces
ingenieros de todo el sector aeroespacial, automatización de la automoción, médicas e industriales y maquinaria ahora se puede aplicar diseño basado en modelos con los métodos de análisis formal http://www.mathworks.com/model-based-design/?BB=1 proporcionada por Simulink Design Verificador 2.0 para identificar los errores de diseño en Simulink y Stateflow modelos sin extensas pruebas o de simulación.

Las características clave del producto incluyen:

- La detección de la lógica de muertos, desbordamientos de enteros y de punto fijo, la división por cero, y la violación de la afirmación
- Bloques y funciones para el modelado de los requisitos funcionales y de seguridad
- Prueba de generación de vectores de los requisitos funcionales y los objetivos del modelo de cobertura
- Propiedad de pruebas, con la generación de ejemplos violación de análisis y depuración
- Modelo de punto fijo y de punto flotante de apoyo

Para tener una visión video de demostración de Simulink Design Verifier y las nuevas capacidades, por favor visite http://www.mathworks.com/products/sldesignverifier/

Precio y disponibilidad

Verificador de Simulink Design está disponible de inmediato. Los precios de EE.UU. lista a partir de $ 8000. Para más información, visite el sitio Web del producto en http://www.mathworks.com/products/sldesignverifier/

Acerca de The MathWorks

The MathWorks es el líder en el desarrollo 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, análisis de datos, visualización y cálculo numérico. 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. Los ingenieros y científicos de todo el mundo confían en esta familia de productos para acelerar el proceso de investigación, innovación y desarrollo en las industrias automotriz, aeroespacial, electrónica, servicios financieros, biotecnología farmacéutica y otras industrias. Los productos MathWorks también la enseñanza fundamental y las herramientas de investigación en las universidades del mundo y las instituciones de enseñanza. Fundada en 1984, The MathWorks cuenta con más de 2.200 personas en 15 países, con sede central en Natick, Massachusetts, EE.UU.. Para obtener más información, visite www.mathworks.com .

MATLAB y Simulink son marcas registradas de The MathWorks, Inc. Consulte www.mathworks.com / marcas para obtener una lista completa de las marcas. Otros nombres de productos o marcas pueden ser marcas comerciales o marcas comerciales registradas de sus respectivos dueños.

Responder

Volver a “The Mathworks”

¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 6 invitados