Con solo pulsar un botón, puede utilizar MATLAB y Simulink para generar código y ejecutarlo en hardware. No obstante, la codificación es solo una de las posibles tareas; descubra cómo puede utilizar MATLAB, Simulink y Polyspace para diseñar, codificar y verificar sistemas embebidos, desde el prototipado hasta la producción. Puede hacer lo siguiente:
- Generar código C, C++, CUDA, Verilog y VHDL optimizado, además de texto estructurado
- Utilizar herramientas de diseño de punto flotante y punto fijo para analizar tradeoffs entre coste y rendimiento
- Verificar y crear perfiles del código generado realizando pruebas in-the-loop
- Cumplir con estándares como AUTOSAR, ISO 26262, DO-178, MISRA C y CERT C
- Realizar prototipado en placas populares, desde Arduino® hasta Zynq®, sirviéndose de complementos de paquetes de soporte de hardware
"Con el diseño basado en modelos, nuestro primer vuelo fue perfecto; no tuvimos problemas de control ni de integración. Con Embedded Coder y la generación de código de leyes de control a partir de nuestro modelo de Simulink, pudimos eliminar todos los retrasos causados por la generación manual de código, lo que liberó al equipo para trabajar en los objetivos generales del programa".
Generación de código desde MATLAB
Genere código C, C++, CUDA y HDL para MATLAB en solo tres pasos iterativos. Ejecute y despliegue el código en cualquier lugar, desde equipos de escritorio y dispositivos móviles hasta sistemas embebidos. A medida que su diseño evoluciona, MATLAB Coder puede generar código nuevo automáticamente, de modo que no necesita realizar codificación manual. Esto acelera el proceso y permite realizar más iteraciones de diseño.
Puede integrar el código generado en forma de código fuente, librerías estáticas o librerías dinámicas en aplicaciones que se ejecutan fuera de MATLAB, en equipos de escritorio o en la nube. También puede empaquetar el código generado como una función MEX y usarlo directamente en MATLAB.
Generación de código desde Simulink
Utilice Embedded Coder para convertir modelos en código fuente y ejecutables de alta calidad para prototipado y producción. Utilice la configuración predeterminada para C y C++, u optimícela para obtener mayor rendimiento con utilizando instrucciones SIMD, clases de almacenamiento de datos y colocaciones de código en secciones de memoria. Genere código fuente ANSI/ISO C/C++, MISRA-C o AUTOSAR que se integre en su sistema en tiempo de ejecución. También puede generar un ejecutable completo listo para usar que se descarga y ejecuta automáticamente en un dispositivo de hardware personalizado.
Examine el código generado para modelos empleando enlaces de trazabilidad bidireccional, o bien genere un informe con código, datos, interfaces de funciones y métricas de código.
Punto fijo
Pase rápidamente del tipo double a algoritmos de punto fijo y precisión simple de 8, 16 y 32 bits sirviéndose de un amplio conjunto de tipos de datos y herramientas. Fixed-Point Designer ofrece funciones, como operaciones matemáticas, en nivel de bits, con arrays y con matrices, que optimizan el diseño para cálculo en punto fijo y punto flotante.
Genere fácilmente código C y C++ bit-true, además de código Verilog® y VHDL® sintetizable, a partir de código de MATLAB, modelos de Simulink y gráficos de Stateflow.
La sustitución de tipos de datos permite cambiar de forma instantánea un diseño embebido de punto fijo o precisión simple a precisión doble para analizar el efecto de la cuantización. Además, dispone de herramientas que permiten identificar rápidamente las causas de desbordamiento, pérdida de precisión y uso ineficiente de rango o precisión.
Verificación de diseños y código
Cree, gestione y enlace requisitos con modelos, código generado y casos de prueba. Compruebe la conformidad de diseños con estándares de modelado como MAB. Desarrolle y ejecute pruebas basadas en simulación, como pruebas de software-in-the-loop, processor-in-the-loop y hardware-in-the-loop. Embedded Coder permite crear perfiles del código generado aplicando perfilado en nivel de tarea y función.
Los productos de Polyspace admiten código manual y código generado. Permiten demostrar la ausencia de errores en tiempo de ejecución, aplicar reglas de codificación y comprobar vulnerabilidades de seguridad aplicando estándares como CWE, CERT-C e ISO/IEC 17961.
Soporte de estándares
Utilice Embedded Coder para generar código que cumple con estándares de software y seguridad populares, como AUTOSAR y MISRA C. MathWorks ofrece kits de certificación y cualificación para desarrollar sistemas y herramientas de calidad de acuerdo con ISO 26262, IEC 61508, EN 50128, IEC 62304, DO-178, DO-254 y otros estándares de la industria para sistemas embebidos de automoción, medicina, ferrocarriles y aeroespacio.
Soporte para hardware
Genere código rápidamente y compílelo para su hardware, independientemente de la función de la aplicación, desde procesamiento de señales, visión artificial y procesamiento de imágenes hasta sistemas de control.
Genere código y realice prototipado en plataformas embebidas como Raspberry Pi™ o Arduino®. En plataformas móviles, integre el código generado en su propia app y ejecútelo en dispositivos iPhone, iPad o Android™, incluido el acceso a sensores embebidos como cámara de vídeo, micrófono y acelerómetro. Despliegue un sistema embebido en microprocesadores de alto rendimiento.
Además, MathWorks y socios estratégicos de Connections ofrecen integraciones incorporadas listas para usar para hardware popular.
Más información
Explore productos
Obtenga más información sobre los productos utilizados con sistemas embebidos.
Productos para codificación y diseño
Blocksets de hardware y software
Herramientas de verificación y kits de certificación
Aprenda de la comunidad usuaria
Comunidad usuaria de MATLAB
- Delphi desarrolla un algoritmo de alineación de sensores de radar para un sistema de seguridad activa de automoción
- VivaQuant acelera el desarrollo y la validación de un dispositivo embebido para monitorización de ECG ambulatorio
- Respiri desarrolla una app móvil para detectar sibilancias y controlar el asma
Comunidad usuaria de Polyspace
Comunidad usuaria de Simulink
- Método basado en modelos que permite la fusión de objetos con uso eficiente de recursos para un sistema de frenado autónomo, por Jonny Andersson, Scania (21:21)
- Desarrollo basado en modelos para AUTOSAR y no AUTOSAR: la perspectiva de un fabricante de equipos originales, por Simon Fürst, BMW Group (24:55)
- BAE Systems entrega software de vuelo DO-178B Level A en el plazo de entrega previsto con diseño basado en modelos
- KOSTAL recibe la certificación ISO 26262 ASIL D para software de automoción desarrollado con diseño basado en modelos
Caso práctico detallado de DO-178
Este caso práctico utiliza un sistema de control de helicóptero sencillo para mostrar un flujo de trabajo compatible con ARP4754A, DO-178C y DO-331.
Cómo utilizar Simulink en proyectos de ISO 26262
Consulte precios
Reciba un presupuesto de productos y servicios ajustado a sus necesidades.
¿Desea una consulta?
¿En qué podemos ayudar?
