Main Content

Especificar las propiedades de los gráficos de Stateflow

Las propiedades de los gráficos especifican cómo interactúa el gráfico de Stateflow® con el modelo de Simulink®. Puede modificar estas propiedades en Property Inspector, Model Explorer o el cuadro de diálogo de propiedades del gráfico.

Para utilizar Property Inspector:

  1. En la pestaña Modeling, en Design Data, seleccione Property Inspector.

  2. En el editor de Stateflow, haga clic en el gráfico.

  3. En Property Inspector, edite las propiedades del gráfico.

Para utilizar Model Explorer:

  1. En la pestaña Modeling, en Design Data, seleccione Model Explorer.

  2. En el panel Model Hierarchy, seleccione el gráfico.

  3. En el panel Dialog, edite las propiedades del gráfico.

Para utilizar el cuadro de diálogo de propiedades del gráfico:

  1. En el editor de Stateflow, haga clic con el botón secundario sobre el gráfico.

  2. Seleccione Properties.

  3. En el cuadro de diálogo de propiedades, edite las propiedades del gráfico.

También puede modificar las propiedades del gráfico de forma programática con objetos de Stateflow.Chart. Para obtener más información sobre la interfaz programática de Stateflow, consulte Overview of the Stateflow API.

Propiedades del gráfico de Stateflow

Puede establecer las siguientes propiedades del gráfico en:

  • La pestaña Properties de Property Inspector

  • La pestaña General de Model Explorer o el cuadro de diálogo de propiedades del gráfico

Nombre

Nombre del gráfico. Esta propiedad es de solo lectura. Al hacer clic en el hipervínculo del nombre del gráfico en Model Explorer y en el cuadro de diálogo de propiedades del gráfico, el gráfico se abre en el editor de Stateflow.

Máquina

Nombre del subsistema de Simulink. Esta propiedad es de solo lectura y no está disponible en Property Inspector. Al hacer clic en el hipervínculo del nombre de la máquina, se abre el cuadro de diálogo de propiedades de la máquina.

Lenguaje de acción

Lenguaje de acción que define la sintaxis de las acciones de estado y de transición en el gráfico. Entre las opciones se incluyen las siguientes:

  • MATLAB

  • C

El valor predeterminado es MATLAB. Para obtener más información, consulte Diferencias entre C y MATLAB como sintaxis de lenguaje de acción.

Tipo de máquina de estados

Semántica del tipo de máquina de estados que se implementará. Entre las opciones se incluyen las siguientes:

  • Classic

  • Mealy

  • Moore

Los gráficos clásicos proporcionan el conjunto completo de la semántica de Stateflow. Los diagramas de Mealy y Moore utilizan un subconjunto de esta semántica. El valor predeterminado es Classic. Para obtener más información, consulte Visión general de máquinas de Mealy y Moore.

Método de actualización

Método para actualizar una simulación o activar un gráfico en un modelo de Simulink.

ParámetroDescripción
Inherited

La entrada del modelo de Simulink determina cuándo se activa el gráfico durante una simulación (de forma predeterminada).

Si se definen eventos de entrada en el gráfico, el gráfico de Stateflow se activa explícitamente por una señal en su puerto de activación que se origina en un bloque de Simulink conectado. Se puede configurar este evento de entrada de activación para que se produzca en respuesta a una señal de Simulink. La señal de Simulink puede ser Rising, Falling o Either (ascendente y descendente) o responder a una Function Call. Para obtener más información, consulte Activar un gráfico de Stateflow enviando eventos de entrada.

Si no se definen los eventos de entrada, el gráfico de Stateflow hereda implícitamente los activadores del modelo de Stateflow. Estos eventos implícitos son los tiempos de muestreo discretos o continuos de las señales de Stateflow que proporcionan entradas al gráfico. Si se definen entradas de datos, el gráfico se activa a la tasa de entrada de datos más rápida. Si no se define ninguna entrada de datos en el gráfico, este se activa según lo definido por el comportamiento de ejecución de su subsistema principal.

Discrete

El modelo de Simulink genera un evento implícito a intervalos de tiempo regulares para activar el gráfico de Stateflow a la tasa que se especifica en la propiedad del gráfico Sample Time. Los otros bloques del modelo de Simulink pueden tener diferentes tiempos de muestreo.

ContinuousEl gráfico de Stateflow actualiza su estado solo durante las unidades de tiempo mayores, aunque calcula las salidas y las variables continuas locales durante las unidades de tiempo mayores y menores. El gráfico puede registrar cruces por cero, lo que permite a los modelos de Simulink muestrear los gráficos de Stateflow siempre que se produzcan cambios de estado. El gráfico de Stateflow calcula las derivadas de las variables continuas locales. Para obtener más información, consulte Continuous-Time Modeling in Stateflow.

Tiempo de muestreo

Intervalo de tiempo en el que el gráfico de Stateflow se activa durante la simulación. El tiempo de muestreo puede ser cualquier número distinto de cero. El tiempo de muestreo tiene las mismas unidades que el tiempo de simulación de Simulink. Los otros bloques del modelo de Simulink pueden tener diferentes tiempos de muestreo. Esta opción solo está disponible cuando se establece la propiedad del gráfico Update method en Discrete.

Activar detección de cruce por cero

Especifica que la detección del cruce por cero está activada (de forma predeterminada). Esta opción solo está disponible cuando se establece la propiedad del gráfico Update method en Continuous. Consulte Disable Zero-Crossing Detection.

Habilitar las operaciones de bits en C

Especifica que los operadores &, ^, | y ~ realicen operaciones bit por bit en las instrucciones de acción (de forma predeterminada). Si desactiva esta casilla:

  • & , | y ~ realizarán operaciones lógicas.

  • ^ realizará la operación de potencia.

Esta opción solo está disponible en los gráficos que utilizan C como lenguaje de acción. Para obtener más información, consulte Operaciones para datos de Stateflow.

Orden de ejecución de estados/transiciones especificado por el usuario

Especifica que el gráfico utiliza un orden explícito de los estados y transiciones paralelas (de forma predeterminada). Se determina el orden en que el gráfico ejecuta los estados paralelos y comprueba las transiciones que se originan en una fuente. Esta opción solo está disponible en los gráficos que utilizan C como lenguaje de acción. Para obtener más información, consulte Execution Order for Parallel States y Evaluate Transitions.

Exportar funciones en el nivel de gráfico

Extiende el alcance de las funciones definidas en el nivel de raíz del gráfico a otras partes del modelo. Esta opción permite que los bloques Simulink Caller llamen a funciones de Stateflow en la jerarquía local utilizando la notación con calificación chartName.functionName. Para obtener más información, consulte Export Stateflow Functions for Reuse.

Tratar las funciones exportadas como globalmente visibles

Permite que los bloques de Stateflow y Simulink Caller de todo el modelo llamen a funciones exportadas de Stateflow sin utilizar la notación con calificación. Esta opción solo está disponible cuando se selecciona la propiedad del gráfico Export chart level functions. Para obtener más información, consulte Export Stateflow Functions for Reuse.

Ejecutar (entrar en) el gráfico en la inicialización

Especifica que el gráfico inicializa su configuración de estado en la unidad de tiempo 0 en lugar de en la primera ocurrencia de un evento de entrada. Para obtener más información, consulte Execution of a Chart at Initialization.

Inicializar las salidas cada vez que el gráfico se activa

Especifica que el gráfico restablece sus valores de salida cada vez que este se activa, no solo en la unidad de tiempo 0. Los valores de salida se restablecen cada vez que se activa un gráfico con una llamada a función, un activador de flanco o un tick. Si se establece un valor inicial para un objeto de datos de salida, la salida se restablece a ese valor. En caso contrario, la salida se reestablece en cero. Seleccione esta opción para:

  • Asegurarse de que todas las salidas se definen en cada ejecución del gráfico.

  • Evitar el bloque de salidas (arrastrar los valores de las salidas calculados en ejecuciones anteriores).

  • Proporcionar a todas las salidas del gráfico un valor inicial significativo.

Para obtener más información, consulte Initial value.

Habilitar la semántica del superpaso

Especifica que el gráfico puede realizar múltiples transiciones en cada unidad de tiempo hasta alcanzar un estado estable. Esta opción no está disponible cuando se establece la propiedad del gráfico Update method en Continuous. Para obtener más información, consulte Super Step Semantics.

Máximo de iteraciones en cada superpaso

Especifica el número máximo de transiciones que puede realizar el gráfico en cada unidad de tiempo. El gráfico siempre realiza una transición durante un superpaso, por lo que el valor N que se especifica representa el número máximo de transiciones adicionales (para un total de N+1). Esta opción solo está disponible cuando se selecciona la propiedad del gráfico Enable super step semantics. Para obtener más información, consulte Maximum Number of Iterations.

Comportamiento después de demasiadas iteraciones

Especifica cómo se comporta el gráfico después de alcanzar el número máximo de transiciones en una unidad de tiempo.

ComportamientoDescripción
ProceedLa ejecución del gráfico continúa hasta la siguiente unidad de tiempo.
Throw Error

La simulación se detiene y aparece un mensaje de error. Este parámetro solo es válido para la simulación. En el código generado, la ejecución del gráfico siempre procede a la siguiente unidad de tiempo en lugar de generar un error.

Esta opción solo está disponible cuando se selecciona la propiedad del gráfico Enable super step semantics.

Admitir arreglos de tamaño variable

Especifica que el gráfico admite datos que varían de tamaño durante la simulación. Consulte Declare Variable-Size Data in Stateflow Charts.

Tratar las dimensiones de longitud 1 como tamaño fijo

Desde R2023a

Especifica si los datos de salida con al menos una dimensión de longitud 1 son de tamaño fijo. Cuando esta propiedad está habilitada, el gráfico establece los datos de tamaño variable del gráfico con una dimensión de 1 como tamaño fijo. Cuando esta propiedad está deshabilitada, los datos del gráfico que tienen la propiedad Variable size habilitada son siempre de tamaño variable. Antes de la versión R2023a, el gráfico trataba los datos con al menos una dimensión de longitud 1 como tamaño fijo.

Esta propiedad solo afecta a los datos de salida que tienen la propiedad Variable size habilitada. Consulte Declare Variable-Size Data in Stateflow Charts.

Saturar en el desbordamiento de enteros

Especifica que los desbordamientos de enteros se saturan en el código generado. Consulte Handle Integer Overflow for Chart Data.

Tiempo de activación de variante

Especifica la elección activa de los bloques de variante o los parámetros de variante en diferentes fases de la simulación y del flujo de trabajo de generación de código. En función de la fase que especifique con esta propiedad, Stateflow determina si el código generado debe contener solo la elección activa o tanto la elección activa como la inactiva.

  • update diagram analyze all choices: con esta opción habilitada, Stateflow analiza la elección activa y la elección inactiva en busca de incompatibilidades en atributos de señal, aunque solo genera código para la elección activa.

  • code compile: con esta opción habilitada, Stateflow analiza la elección activa y la elección inactiva de transiciones de variante y genera código para las elecciones activas e inactivas. Las elecciones están incluidas en las instrucciones condicionales de preprocesador de C #if y #endif que se compilan condicionalmente cuando compila el código generado.

Consulte Control Indicator Lamp Dimmer Using Variant Conditions.

Estados al activar

Especifica cómo se comportan los estados cuando los eventos de entrada de llamada a función vuelven a activar el gráfico. Entre las opciones se incluyen las siguientes:

  • Held

  • Reset

Consulte Controlar los estados en gráficos activados por eventos de entrada de llamada a funciones.

Crear una salida para supervisión

Especifica que el gráfico produce una salida de estado activo. Cuando se activa esta opción, se puede seleccionar uno de estos tipos de actividad para su salida:

  • Child activity

  • Leaf state activity

Consulte Monitor State Activity Through Active State Data.

Propiedades de punto fijo

Se pueden establecer propiedades de punto fijo para el gráfico en:

  • La pestaña Properties de Property Inspector

  • La pestaña Fixed Point Properties de Model Explorer o el cuadro de diálogo de propiedades del gráfico

Las propiedades de punto fijo solo están disponibles en los gráficos que utilizan MATLAB® como lenguaje de acción.

Tratar estos tipos de señales heredadas de Simulink como objetos fi

Especifica si el gráfico trata las señales heredadas de punto fijo y enteras como objetos Fixed-Point Designer™ fi.

ParámetroDescripción
Fixed-pointEl gráfico trata todas las entradas de punto fijo como objetos fi (de forma predeterminada).
Fixed-point & IntegerEl gráfico trata todas las entradas de punto fijo y enteras como objetos fi.

Gráfico de MATLAB fimath

Especifica las propiedades predeterminadas del gráfico.

ParámetroDescripción
Same as MATLAB Usa las mismas propiedades fimath que el objeto predeterminado fimath en MATLAB.
Specify Other

Utiliza su propio objeto predeterminado fimath. Puede hacer lo siguiente:

  • Construir un objeto fimath dentro del cuadro de edición.

  • Crear un objeto fimath en el área de trabajo de MATLAB o del modelo e introducir su nombre de variable en el cuadro de edición.

Para obtener más información, consulte fimath Properties Usage for Fixed-Point Arithmetic (Fixed-Point Designer).

Propiedades adicionales

Puede establecer propiedades adicionales para el gráfico en:

  • La pestaña Info de Property Inspector

  • La pestaña Documentation de Model Explorer o el cuadro de diálogo de propiedades del gráfico

Descripción

Descripción del gráfico.

Enlace del documento

Enlace a la documentación online del gráfico. Puede introducir una dirección URL o un comando de MATLAB que muestre la documentación como un archivo HTML o como texto en la ventana de comandos de MATLAB. Cuando hace clic en el hipervínculo Document link, Stateflow evalúa el enlace y muestra la documentación.

Propiedades de la máquina

La máquina de Stateflow representa todos los bloques de Stateflow en un modelo (incluidos charts, state transition tables y truth tables). Puede modificar las propiedades que se indican a continuación en el cuadro de diálogo de propiedades de la máquina.

  1. Abra Model Explorer o el cuadro de diálogo de propiedades del gráfico de cualquier gráfico del modelo.

  2. En el campo de propiedades del gráfico Machine, haga clic en el enlace del nombre de la máquina.

  3. En el cuadro de diálogo de propiedades de la máquina, edite las propiedades de la máquina de Stateflow.

También puede modificar las propiedades de la máquina de forma programática con objetos Stateflow.Machine. Para obtener más información sobre la interfaz programática de Stateflow, consulte Overview of the Stateflow API.

Modelo de Simulink

Nombre del modelo de Simulink que define esta máquina de Stateflow. Esta propiedad es de solo lectura. El nombre del modelo se cambia al guardar el modelo.

Fecha de creación

Fecha en la que se creó la máquina de Stateflow. Esta propiedad es de solo lectura.

Creador

Nombre de la persona que ha creado esta máquina de Stateflow.

Modificado

Texto de comentario para registrar las modificaciones del modelo de Simulink que define esta máquina de Stateflow.

Versión

Texto de comentario para registrar las versiones del modelo de Simulink que define esta máquina de Stateflow.

Descripción

Descripción de la máquina de Stateflow.

Enlace del documento

Enlace a la documentación online de la máquina de Stateflow. Puede introducir una dirección URL o un comando de MATLAB que muestre la documentación como un archivo HTML o como texto en la ventana de comandos de MATLAB. Cuando hace clic en el hipervínculo Document link, Stateflow evalúa el enlace y muestra la documentación.

Consulte también

Bloques

Objetos

Herramientas

Temas relacionados