Diseñador de ML

El dominio SDF es un dominio de programación estática y basado en datos en MLDesigner. Se utiliza para modelar sistemas discretos en el tiempo, como por ejemplo el procesamiento de señales digitales y los procesadores de propósito general o especial. En este modelo de dominio , los elementos intercambian síncronamente una cantidad fija de elementos de datos, denominados partículas. La "programación estática" implica que el orden de activación de las primitivas se determina una sola vez durante la fase de inicio, basándose en tasas fijas de generación y consumo de los elementos de datos. Dentro del dominio SDF, el tiempo no existe. Otro dominio basado en datos es el dominio DDF (Dynamic Data Flow). Mientras que en el dominio SDF las tasas de generación y consumo son fijas, en el dominio DDF son variables, lo que permite un cambio dinámico en el procesamiento de datos.

El dominio de eventos discretos (DE) en MLDesigner proporciona un entorno general para simulaciones orientadas a eventos de sistemas como redes de colas, redes de comunicación y modelos de alto nivel de arquitecturas informáticas, sistemas organizativos o sistemas de producción. En este dominio, cada partícula representa un evento temporal que corresponde a un cambio en el estado del sistema. El intercambio de datos en sí representa un evento que aparece en una parte del modelo y actúa sobre otro elemento del mismo. Los planificadores del dominio DE procesan los eventos en orden cronológico. Dado que el intervalo de tiempo entre eventos generalmente no es fijo, cada partícula tiene una marca de tiempo asociada. Las marcas de tiempo se generan mediante el bloque que produce la partícula, basándose en las marcas de tiempo de las partículas de entrada y la latencia del bloque. Funcionalidades como eventos especiales o recursos, que representan el uso de cantidades y tiempos de computación del procesador, hacen que el modelado sea intuitivo. El uso de elementos de modelo predefinidos, como el mecanismo de planificación, simplifica significativamente el proceso de modelado. El dominio DE permite modelar una multitud de sistemas, como sistemas de bus , sistemas de controladores digitales, arquitectura de computadoras y sistemas en un chip (SoC), sistemas informáticos en red o procesos organizativos, de producción o de diseño/desarrollo en red. ^{[ 1 ]}

FSM es un concepto para modelar sistemas basados ​​en eventos con autómatas de estados finitos, una abstracción donde el comportamiento del sistema se representa mediante grafos dirigidos, un conjunto finito de condiciones, llamadas estados, y transiciones entre estos estados. El FSM representa el estado actual del sistema o de una parte del mismo. Un evento conduce a una acción determinada y a un cambio de estado. El dominio FSM es un concepto alternativo para modelar sistemas orientados a eventos. Internamente, los modelos FSM se mapean en modelos DE. Con el dominio FSM, los sistemas se pueden modelar fácilmente mediante uno o varios autómatas de estados. Ejemplos de ello son los autómatas de protocolo en redes de datos, la lógica de control o la lógica general del software. El dominio FSM de MLDesigner incluye un editor gráfico y un lenguaje de acciones para definir y gestionar estados, transiciones y elementos de interfaz. El modelo FSM se puede validar formalmente y generar código a partir de este modelo validado. ^{[ 2 ]}

El dominio CTDE es un dominio temporal adicional para describir sistemas de tiempo continuo, como dispositivos analógicos y de señal mixta . Los dos modelos de computación distintos, tiempo continuo y eventos discretos, se combinan en un solo dominio para permitir modelar sistemas que incluyen eventos temporales y de estado, como la histéresis. Las conexiones entre puertos de diferentes tipos se posibilitan insertando una primitiva para convertir la señal. La descripción de sistemas dentro del dominio CTDE corresponde a la descripción con ecuaciones diferenciales. Las derivadas de estado son entradas a bloques integradores, mientras que la ecuación derivada y las funciones de salida se modelan mediante redes de primitivas que realizan operaciones aritméticas. El dominio CTDE incluye múltiples algoritmos de integración. MLDesigner contiene varios dominios más, por ejemplo, el dominio HOF (High Order Function), que permite un modelado procedimental de sistemas.

El dominio BDF (Flujo de Datos Booleano) puede considerarse una generalización del dominio SDF. Amplía el concepto de dominios orientados al flujo de datos al permitir activar o desactivar partes del modelo según la lógica combinatoria.

Además de los dominios descritos anteriormente, que se pueden usar para modelar y simular (y por lo tanto se denominan dominios de simulación), MLDesigner cuenta con varios dominios de generación de código. Para un modelo creado en un dominio de simulación, es posible cambiar a un dominio de generación de código, siempre que todos los elementos del modelo utilizados estén incluidos en dicho dominio. De esta forma, se puede generar código objeto en C o VHDL . Además de usar los dominios de generación de código de MLDesigner, es posible generar directamente código ANSI-C, VHDL o SystemC para modelos creados completamente con elementos de los dominios DE y FSM.