Sistemas a Eventos Discretos

Slides:



Advertisements
Presentaciones similares
BizAgi - Business Agility
Advertisements

Tipos de software y su desarrollo
DIAGRAMA DE COMPONENTES
DISEÑO DE TRANSFERENCIA ENTRE REGISTROS
U.M.L A/Gx. Diego Gutiérrez Application Analysis and Design.
METODOLOGÍA ORIENTADA A OBJETOS CARACTERISTICAS DEL PROCESO
INGENIERÍA DE SOFTWARE Introducción Arquitectura de Software
También conocido como Diseño Lógico Rodrigo Salvatierra Alberú.
Diagrama de estado Alumnos: Hernández Darwin ( )
Lenguaje Unificado de Modelado
Introducción a Simulink
SISTEMAS OPERATIVOS Un Sistema operativo (SO) es un software que actúa de interfaz entre los dispositivos de hardware y los programas de usuario.
Laboratorio virtual de Control por Computador
Tomado de:
Análisis y Diseño de Sistemas II “Exposición Diagramas UML”
Qué es LabVIEW? LabVIEW (Laboratory Virtual Instrument Engineering Workbench) es un lenguaje de programación gráfico para el diseño de sistemas de adquisición.
Modelo de Datos Unidad II.
Fundamentos de Ingeniería de Software
INTRODUCCIÓN A UML Oscar Miguel Alonso Moreno.
Ingeniería de sw.
Objetivo: Conocer los componentes hardware y software que constituyen un computador.
UNIDAD II Modelo de Datos.
Aspectos Avanzados de la Tecnología de Objetos
Diseño de un Sistema de Control en Tiempo Real para el Kernel del Sistema Operativo utilizando MatLab-SimuLink Por: MARCO ANTONIO ESPINEL CANGUI DIRECTOR:
DIAGRAMA DE COMPONENTES INTEGRANTES Córdova Vásquez Giovanny Escobar Alvares Calixto Gomez Quinteros Adelaida Pinto Flores Yarmila.
Sistemas Distribuidos “Técnicas de Especificación Formal”
Software Se conoce como software al equipamiento lógico o soporte lógico de un sistema informático, que comprende el conjunto de los componentes lógicos.
Gestión de Entrada / Salida
CLASIFICACIÓN DE COMPUTADORAS
Introducción al Software
Profesor: Miguel Angel Vidal
VHDL.
Explorar y conocer la técnica de Verificación De Modelos (Model Checking) con la finalidad de poder validar los Modelos de Casos de Uso y así poder ampliar.
Facultad de Ingeniería Manufactura Integrada Por Computador II
Máquinas de estados finitos
Una introduccion a las redes de Petri
Validación de propiedades de Workflow Alumno: Fernando Villar Director: Dr. Germán Regis Universidad Nacional de Río Cuarto.
Análisis y Diseño Orientado a Objetos utilizando UML CAPITULO V DISEÑO DE SISTEMAS ORIENTADOS A OBJETOS.
Ingeniería de Software
UNIDAD 3: “Desarrollo Orientado a Objetos con UML”
DISEÑO DEL SISTEMA DE COMUNICACIÓN ENTRE EL APRENDIZ Y EL MEC
5.3 APROXIMACIONES AL DISEÑO
Fundamentos de programación Organización de una computadora.
INTEGRANTES: RAMIREZ TICONA ESTHER NELIDA SUAREZ MONTOYA HECTOR FREDDY PINTO CARVAJAL JUAN CARLOS UNIVERSIDAD SALESIANA DE BOLIVIA.
Ing. Santiago Figueroa Lorenzo
Pasos de un estudio de simulacion (repaso).
UML 2.0 Integrantes: Diana Carolina Valencia M. Jhon Fernando Lopez T. Carlos Alberto Castillo.
Universidad Central de Venezuela Facultad de Ciencias Postgrado en Ciencias de la Computación Sistemas Distribuidos Albany Márquez.
COLEGIO DE CIENCIAS Y HUMANIDADES PLANTEL NAUCALPAN
EVOLUCIÓN DEL SOFTWARE
J. García Martín 22/06/ SISTEMAS DE TIEMPO REAL Especificación formal de sistemas. Statecharts.
TEMA 10: DIAGRAMA DE: OBJETOS, SECUENCIA Y DESPLIEGUE EN UML
Diseño de Software y su Proceso
CLASIFICACION DE LAS COMPUTADORAS
UML 2.0 Diagramas de Comportamiento
Modelo Dinámico (I) Prof. Leonid Tineo Departamento de Computación
Clasificación de Diagramas
DIAGRAMA DE SECUENCIA Y ACTIVIDADES.
Elaboración de algoritmos usando lógica de programación
Facultad de Ingeniería Manufactura Integrada Por Computador II.
UML.
PROGRAMACIÓN ESTRUCTURADA LOS DIAGRAMAS DE ESTADO
¿QUE ES EL DIAGRAMA DE ESTADO ?
UNIDAD 2: “Características del Modelado UML” CONTENDIDO Elaborado por: Ingeniero Harold Cabrera Meza Actualizado por: Ingeniero Nilson Albeiro Ferreira.
Diseño, implementación y verificación de un sistema de hardware reconfigurable para aplicaciones de control. de un sistema de hardware reconfigurable para.
 PRESENTADO POR : ANDRES MAYORGA DANIELA PAEZ VEGA.
Para cada uno de los atributos, indicaremos su campo de descripción. Cuando un campo no dispone de este (como el.
Programa de Simulación
Presentación De UML Lenguaje estándar para escribir planos de software Se usa para visualizar, especificar, construir y documentar los artefactos de un.
Máquinas de Estados Diagrama de Actividades
Transcripción de la presentación:

Sistemas a Eventos Discretos en este tipo de sistemas, a diferencia de los continuos, el estado y el tiempo son discretizados a valores específicos, es decir, estos sistemas cambian su estado en un conjunto finito de puntos temporales; instantes en los cuales un evento ocurre.

Formalismos de DES Redes de Petri (PN) Grafos Signados Dirigidos (GSD) Máquinas de Estados Finitos (MEF) Generalizaciones y particularizaciones de PN, GSD, MEF

Simulación de DES La característica más significativa de la simulación de modelos de eventos discretos es su notable capacidad para contemplar los efectos aleatorios presentes en la mayoría de los procesos reales.

Maquina de transferencia de tres puesto utilizada en la fabricación de ollas a presión

Utilidad del STATEFLOW en la simulación de DES Stateflow es una herramienta de diseño interactiva concebida para la modelación y simulación de sistemas dirigidos a eventos. Integrado estrechamente con Simulink y Matlab.

Simulink en la simulación con el Stateflow Stateflow soporta el desarrollo de sistemas de tiempo discreto y tiempo continuo en un entorno gráfico de diagramas de bloque, mientras que Matlab a traves del Simulink ofrecen herramientas de programación de alto nivel, de análisis de datos, y de visualización. La combinación de Stateflow, Matlab y Simulink crea un entorno único e integrado en el cual se modelan, simulan y analizan sistemas dinámicos complejos.

Caracteristicas del Stateflow Combinación de diagramas Representación gráfica de estados jerárquicos y paralelos Transiciones dirigidas por eventos entre ellos. Generara código C Aplicaciones de diseño industrial, automotriz, aeroespacial y telecomunicaciones.

INTERFAZ STATEFLOW – SIMULINK Interfaz Simulink Stateflow

Interfaz Simulink Stateflow Cada diagrama Stateflow se representa en un modelo Simulink mediante su bloque propio. Esta interfaz de bloque permite intercambiar datos, señales y eventos entre un diagrama Stateflow y otros bloques. Stateflow puede controlar la ejecución de bloques Simulink mediante la activación de llamadas a funciónes. Interfaz Simulink Stateflow

Interfaz Simulink Stateflow La colección de bloques Stateflow en un modelo Simulink se llama máquina Stateflow. Utilizando diagramas Stateflow con bloques Simulink, se crean modelos que combinan un comportamiento algorítmico con un comportamiento lógico. El resultado es el desarrollo de una especificación ejecutable de un sistema completo sin abandonar el entorno Simulink y Stateflow. Interfaz Simulink Stateflow

ELEMENTOS DE UN DIAGRAMA STATEFLOW Un diagrama Stateflow utiliza los objetos y convenciones siguientes para representar un comportamiento dirigido por eventos:

DESCRIPCIÓN DE LOS OBJETOS EN STATEFLOW

Descripcion de los objetos en el Stateflow Estado Superestados Transición Evento Condición Condición_ acción Transición_acción Transición por defecto Descripcion de los objetos en el Stateflow

Descomposición de superestados Descomposición exclusiva (OR). Descomposición paralela (AND).

Notación de la etiqueta del estado entry: acción al entrar al estado. during: acción durante el estado. exit: acción al salir del estado. on event_nam: acción que se ejecuta una vez ocurre el evento especificado en event_nam (nombre del evento). Notación de la etiqueta del estado.

Utilidad del Stateflow en la simulación de PN El Stateflow fue concebido para ser utilizado con maquinas de estado finito. Una maquina de estados es una RdP en la cual toda transición solo tiene un lugar de entrada y uno de salida, es decir en una transición no puede presentarse sincronismo (concurrencia) y/o paralelismo.

Aspectos que deben tenerse en cuenta A diferencia de las RP el Stateflow puede activar un estado de un sistema y mantenerlo, aunque este se desmarque. En el Stateflow y las PN concepto de sincronismo debe hacerse coincidir a través de la utilización de condiciones adicionales en las transiciones.

Aspectos que deben tenerse en cuenta El diseño grafico en el Stateflow puede ser diferente a la PN asociada pero el principio conceptual debe ser el mismo. Las transiciones por defecto del SF son consideradas marcas en las PN. Los arcos y las transiciones de las PN son en el SF los arcos. Aspectos que deben tenerse en cuenta

Pasos a seguir para la simulación Construir en el SF el modelo correspondiente a la PN en el editor. Caracterizar los eventos y datos en el Explorer del SF En la maquina entregada por el Simulink conectar los bloques necesarios (display, constantes, etc.) Analizar el diagrama y comprobar si hay errores Realizar la simulación

Construir en el SF el modelo correspondiente a la PN en el editor.

Caracterizar los eventos y datos en el Explorer del SF

En la maquina entregada por el Simulink conectar los bloques necesarios (display, constantes, etc.)

Analizar el diagrama y comprobar si hay errores

Realizar la simulación

Simulación de Enclavamientos en una subestación modelada en HPN Subestación: configuración barra principal más barra de transferencia Maniobra: Energización de un campo de línea

Simulación de la HPN Representación de la HPN en el Stateflow a través de cuatro superestados Un Superestado por dispositivo operacional de la subestación Un superestado para la Jerarquía de la Red

Simulación SF Superestado para IS1L Superestado para jerarquía

Maquina Simulink de la simulación

Conclusiones El Matlab presenta una gran alternativa en la simulación de DES La representación grafica en el SF puede ser diferente a la RP asociada, pero conservando los principios operativos La herramienta de simulación STATEFLOW permite la simulación de HPN, haciendo un diseño estructurado de las maniobras con la programación de una red por dispositivo y una red que maneja la jerarquía de los eventos.