TargetLink es un software para la generación automática de código, basado en un subconjunto de modelos Simulink / Stateflow , desarrollado por dSPACE GmbH . TargetLink requiere un modelo MATLAB / Simulink existente para funcionar. Genera código ANSI-C y código de producción optimizado para procesadores específicos. También admite la generación de código compatible con AUTOSAR para componentes de software del sector automotriz. La gestión de toda la información relevante para la generación de código se realiza en un contenedor de datos central, denominado Diccionario de Datos.
Las pruebas del código generado se implementan en Simulink, que también se utiliza para la especificación de los modelos de simulación subyacentes. TargetLink admite tres modos de simulación para probar el código generado:
- Simulación en bucle (MIL): este modo permite verificar el diseño del modelo. Una simulación MIL también se conoce como simulación de punto flotante, ya que las variables suelen ser de punto flotante.
- Software-in-the-loop (SIL): la simulación se basa en la ejecución de código generado, que se ejecuta en un sistema informático. Las variables suelen ser números simples o de punto fijo.
- Procesador en bucle (PIL): en una simulación PIL, el código generado se ejecuta en el hardware de destino o en una placa de evaluación. Se incluyen los denominados fotogramas en tiempo real, lo que permite transferir los resultados de la simulación, así como el consumo de memoria y la información de ejecución, al ordenador.
La Asociación de Confiabilidad de Software de la Industria Automotriz (MISRA) publicó directrices oficiales de modelado de MISRA para TargetLink a finales de 2007, [ 1 ] que son particularmente importantes para la seguridad funcional de aplicaciones críticas para la seguridad. En 2009, TÜV SÜD certificó TargetLink para su uso durante el desarrollo de sistemas críticos para la seguridad según las normas ISO DIS 26262 e IEC 61508.
Referencias
- ↑ "MISRA AC TL: Directrices de estilo de modelado para la aplicación de TargetLink en el contexto de la generación automática de código" . MISRA. Noviembre de 2007. Archivado del original el 14 de junio de 2016. Consultado el 11 de marzo de 2012 .
Fuentes
- Panorama general de la formación en diseño de sistemas embebidos en Berkeley.
- Foro MISRA Autocode: Experiencia real en el uso de un subconjunto de modelado para TargetLink en trabajos relacionados con la seguridad.
- Trabajar con modelos TargetLink en Reactis
Enlaces externos
- Página web oficial
- Herramientas de programación