Diseño basado en modelos para sistemas integrados de producción en tiempo real
El diseño basado en modelos es una forma eficiente y rentable de desarrollar sistemas integrados complejos en los sectores de automoción, comunicaciones y aeroespacial, entre otros. El diseño basado en modelos no trabaja con prototipos físicos y especificaciones textuales, sino que utiliza un modelo de sistema como especificación ejecutable a lo largo de todo el proceso de desarrollo. Este enfoque permite diseñar y simular en los niveles de sistema y componente, generar código automáticamente, y realizar pruebas y verificaciones continuas. Estas prestaciones, combinadas con comunicaciones más eficientes utilizando modelos gráficos, potentes herramientas analíticas, y trazabilidad de requisitos hasta modelos y código, han convertido el diseño basado en modelos en la metodología estándar de diseño para sistemas integrados.
Con años de experiencia técnica colaborando con cientos de empresas, MathWorks Consulting Services ofrece soluciones a problemas de aplicación y despliegue del diseño basado en modelos.
Modelado de sistemas integrados en tiempo real para lograr eficiencia, funcionalidad y verificación
MathWorks Consulting Services asiste en el desarrollo de flujos de trabajo generales de diseño basado en modelos para las necesidades específicas de cada proyecto. Ofrecemos ayuda para crear arquitecturas de modelos y datos a fin de facilitar el desarrollo concurrente, las pruebas, la legibilidad y la reutilización. También enseñamos y aplicamos las prácticas recomendadas de la industria para el modelado, incluyendo el establecimiento de pautas de estilo de modelo personalizadas en función de los objetivos de cada organización.
Optimización del diseño y control de calidad, coherencia y precisión de requisitos
Colaboramos con empresas para trazar una estrategia de simulación que incluye desarrollo de modelos de planta, con la fidelidad necesaria para permitir la validación de requisitos de alto nivel mediante la simulación en el nivel de sistema, optimización del diseño, y ajuste y verificación de requisitos de bajo nivel, a través de simulaciones en el nivel de unidad. Nuestro equipo de consultoría demuestra cómo emplear la simulación en el nivel de sistema para determinar los valores iniciales de ajuste o calibración.
Generación de código eficiente e integración en la arquitectura de software
MathWorks Consulting Services enseña a configurar modelos y generar código para que se adapten a la arquitectura de software del proyecto, se integren con los sistemas operativos, e interactúen con utilidades y controladores de dispositivos de hardware existentes. Mostramos cómo configurar datos, funciones y archivos generados a partir de un modelo para cumplir con los estándares requeridos de codificación e interfaz de software.
Control de calidad del diseño y conformidad a coste reducido
Ofrecemos pautas para desarrollar un marco de verificación para pruebas funcionales, estructurales y de solidez a fin de satisfacer las necesidades específicas de un proyecto. Este marco funciona con diversas entradas de prueba y analiza los resultados, que incluyen criterios de correcto/incorrecto y generación de artefactos necesarios. El marco se adapta para lograr los objetivos de calidad de la empresa y estándares de certificación de la industria tales como DO-178C, ISO 26262 e IEC 61508. También ayudamos a establecer o ajustar el proceso de desarrollo sobre la base de estándares de certificación, para aprovechar MATLAB y Simulink al máximo, y reducir significativamente el esfuerzo invertido en desarrollo.
MathWorks Consulting Services contribuye a:
- Alcanzar el nivel deseado de congruencia, calidad y eficiencia del diseño con menos iteraciones
- Desarrollar y optimizar el flujo de trabajo con el diseño basado en modelos para reducir el plazo de comercialización y el esfuerzo invertido en desarrollo
- Desarrollar competencias internas a través de sesiones de capacitación basadas en proyectos y transferencia de conocimiento
¿Tiene preguntas?
Generación de casos de prueba basados en requisitos
El modelado de especificaciones consiste en crear modelos que definan el comportamiento esperado de un sistema. Descubra cómo generar casos de prueba basados en requisitos con Simulink Design Verifier a partir de un modelo de especificaciones.
