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 integrados, desde el prototipo hasta la producción. Es posible:
- Generar código C, C++, CUDA, Verilog, VHDL y texto estructurado (ST) optimizados
- Usar herramientas de diseño en coma flotante y en coma fija para compensar coste frente a rendimiento
- Verificar el código generado y analizar su rendimiento mediante pruebas in-the-loop
- Satisfacer estándares tales como AUTOSAR, ISO 26262, DO-178, MISRA C y CERT C
- Llevar a cabo el prototipado en placas populares como Arduino® o Zynq® mediante hardware support packages
“Gracias al diseño basado en modelos tuvimos un primer vuelo perfecto; no hubo problemas de control ni de integración. Al generar el código las leyes de control a partir de nuestro modelo de Simulink con Embedded Coder, eliminamos los retrasos provocados por la generación de código manual y el equipo pudo trabajar en la consecución de los objetivos globales del programa.”
Conferencias de Coder Summit
Ingenieros de campo y personal de desarrollo presentan características nuevas para el diseño de software, la generación de código embebido, y mucho más.
Generación de código desde MATLAB
Genere código C, C++, CUDA y HDL desde MATLAB en tan solo tres pasos iterativos. Ejecute e implemente el código en cualquier parte, desde equipos de escritorio a dispositivos móviles y sistemas embebidos. A medida que su diseño evolucione, MATLAB Coder puede generar automáticamente el código nuevo para que no tenga que hacerlo manualmente. Esto agiliza el proceso y permite realizar más iteraciones de diseño.
El código generado se puede integrar como código fuente, librerías estáticas o librerías dinámicas en aplicaciones que se ejecutan fuera de MATLAB en un equipo de escritorio o en la nube. También se puede empaquetar el código generado a modo de función MEX para su uso directo en MATLAB.
Explorar productos
Generación de código desde Simulink
Utilice Embedded Coder para convertir sus modelos en código fuente y ejecutables de alta calidad para el prototipado y la producción. Emplee la configuraciones
predeterminadas para C y C++ o bien optimice para obtener un rendimiento superior mediante instrucciones SIMD, clases de almacenamiento de datos y emplazamientos de código en secciones de memoria. Genere código fuente ANSI/ISO C/C++, MISRA-C o AUTOSAR que conecte con su sistema en tiempo de ejecución. También es posible generar un ejecutable completo listo para usar que se descargue y ejecute automáticamente en su dispositivo de hardware propio.
Examine el código generado para los modelos mediante enlaces de trazabilidad bidireccionales o genere un informe con el código, los datos, las interfaces de función y las métricas del código.
Explorar productos
Coma fija
Muévase rápidamente desde el tipo de datos de doble precisión gracias a un amplio conjunto de tipos de datos y herramientas para desarrollar algoritmos en punto fijo simple de 8, 16 y 32 bits y de precisión simple. Fixed-Point Designer proporciona funciones, tales como las operaciones math, bitwise, array y matrix, que optimizan el diseño para el cálculo en punto fijo y en punto flotante.
Genere con facilidad código C y C++ bit-true y código Verilog® y VHDL® sintetizable a partir de código de MATLAB, modelos de Simulink y diagramas de Stateflow.
Mediante la sustitución de tipos de datos, su diseño embebido en punto fijo o de precisión simple puede convertirse al instante en un diseño de doble precisión para analizar el impacto de la cuantización. Y existen herramientas que permiten identificar rápidamente las causas de los desbordamientos, la pérdida de precisión y los intervalos o la precisión sin utilizar.
Explorar productos
Verificación de diseños y código
Cree, gestione y trace los requisitos a modelos, código generado y casos de prueba. Compruebe los diseños para verificar la conformidad de los modelos con estándares como MAAB. Desarrolle y ejecute pruebas basadas en simulaciones (incluidas pruebas como software-in-the-loop, processor-in-the-loop y hardware-in-the-loop). Embedded Coder permite analizar el rendimiento del código generado en el nivel de tarea y en el nivel de función.
Los productos de Polyspace admiten tanto código manual como código generado. Permiten comprobar la ausencia de errores en tiempo de ejecución, aplicar reglas de generación de código y comprobar las vulnerabilidades de seguridad mediante estándares tales como CWE, CERT-C e ISO/IEC 17961.
Compatibilidad con estándares
Utilice Embedded Coder para generar código conforme con estándares habituales de software y seguridad tales como AUTOSAR y MISRA C. MathWorks ofrece kits de certificación y cualificación a fin de 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, en dispositivos médicos, ferroviarios y aeroespaciales.
Soporte hardware
Genere con rapidez código y compílelo para su hardware, independientemente de lo que haga su aplicación, ya sea procesamiento de señales, visión artificial, procesamiento de imágenes o sistemas de control.
Genere código y haga un prototipo en plataformas embebidas como Raspberry Pi™ o Arduino®. En el caso de las plataformas móviles, podrá integrar el código generado en su propia app y ejecutarla en dispositivos iPhone, iPad o Android™, incluyendo el acceso a sensores integrados tales como la cámara de vídeo, el micrófono y el acelerómetro. Implemente su sistema embebido en microprocesadores potentes.
Además, MathWorks y los socios del programa de conexiones ofrecen integraciones listas para usar destinadas a hardware de uso habitual, como:
Pase de las tareas básicas a operaciones más avanzadas gracias a los tutoriales y ejemplos interactivos.
Díganos cómo podemos ayudarle.
Póngase en contacto con nosotros para realizar una evaluación personalizada de sus necesidades y conseguir precios acordes a ellas.
Aprenda de otros usuarios
Usuarios 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 la sensorización ambulatoria de electrocardiogramas
- Respiri desarrolla una app móvil para la detección de sibilancias y el control del asma
Usuarios de Polyspace
Usuarios de Simulink
- Enfoque basado en modelos de la fusión de objetos eficiente en cuanto a 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 OEM, por Simon Fürst, BMW Group (24:55)
- BAE Systems entrega software de vuelo DO-178B Level A en la fecha prevista gracias al diseño basado en modelos
- KOSTAL recibe la certificación ISO 26262 ASIL D para un software de automoción desarrollado mediante el diseño basado en modelos
Caso de estudio detallado de DO-178
En este caso de estudio se emplea un sistema simple de control de un helicóptero para demostrar un flujo de trabajo compatible con ARP4754A, DO-178C y DO-331.
