15-7-2014

Universidad Politcnica de Puebla

Ingeniera en Mecatronica

Erick Lezama Prez

Automatizacin Industrial
Resuemen

6MB

Introduccin a las redes de Petri
Para controlarlos ha debido recurrir al uso de computadores.
El software que anima estos computadores es desarrollado como un
conjunto de tare as o subsistemas, en forma cada vez ms frecuente estos
subsistemas se ven compelidos a su ejecuci6n concurrente.

Definicin de las redes de Petri
Una red de Petri (RP) est compuesta por dos elementos: un grafo bipartito
dirigido y una marcacin.
El grafo
Los nodos que comprende el grafo son de dos tipos:
Lugares y transiciones. Los lugares son dibujados como crculos se usan para
representar condiciones.
Las transiciones son dibujadas como barras y representan eventos.
La estructura de la red puede ser representada por dos matrices.
Verificaci6n de las redes de Petri
Una RP que representa un mecanismo real debe poseer un cierto nmero de
atributos: "vivacidad", "ser acotada", etc.
Redes acotadas
Una red esta acotada cuando para toda marcacin accesible M y para todo
lugar p, M (p) "k. En otras palabras, la cantidad de cospe1es almacenados en
un lugar cualquiera de la red nunca superara los k.

Redes reiniciables limpias
Se dice que una red es reiniciable si para toda marcacin accesible M existe
una secuencia de disparos t que a partir de M lleva la red al estado M ...
Redes vivas
Se dice que una red est viva si para toda marcacin accesible M y para
toda transicin t, existe una secuencia de disparos a partir de M que incluye
a la transicin t.

Un mtodo basado Formal Concept re implementacin para programas
de PLC y su aplicacin

Controladores lgicos programables (PLCs) tienen iniciado el xito de la
automatizacin en la fabricacin sistemas. Debido a su programacin
flexible frecuentes cambios en el sistema de automatizacin son factibles.
La necesidad para cambios surge claramente para satisfacer la nueva
produccin demandas que no pueden ser cumplidos por los programas de PLC
ya que se ejecuta en la mquina.
La reingeniera consta de los siguientes pasos principales que se detallarn
en las siguientes secciones:
1. Ingeniera inversa del programa PLC dado a travs de mtodos
formales que utilizan las tecnologas de Internet.

2. Evolucin de la estructura del PLC de S5 segn IEC 61131-3. Este paso
proporciona una base genrica para todos los PLC programas a ser
transferidos de S5 a IEC 61131-3.

3. Asignacin de una estructura de programa S5 PLC se administra con sus
bloques en la norma IEC 61131-3. Despus de este paso, el nico
Bloques PLC de S5 se convierten en nuevos bloques conforme a la
estructura de la norma IEC 61131-3.
4. Transferencia de la semntica dinmica de los diferentes bloques. El
cdigo de los bloques junto con el declaraciones de variables se asigna a los
nuevos bloques y variables basadas en los modelos formales (estados
finitos mquinas, FSM).
Formalizacin Concepto
Este paso permite la abstraccin del cdigo de PLC escrito en la lista de
instrucciones (IL) en mquinas de estados finitos (FSM).

Paso 1: El cdigo de PLC en la IL se convierte a XML sin procesar. Este XML
prima se convierte a continuacin en un ncleo XML utilizando XSL. El XML
ncleo contiene, adems de los atributos especificados en la sintaxis IL
(Direccin, Label, Instruccin y operando) otros atributos generados para
la ingeniera inversa (InstructionId, tipo, condicin, y denotacin). El tipo
de la instruccin es la clave atributo en el siguiente paso.

Paso 2: Dividir el atributo type en el XML para obtener una descripcin de
la forma de IF-THEN-ELSE declaraciones. El tipo de divisin en el XML se
vuelve muy esencial para la construccin de los algoritmos. La conversin en
IF-THEN-ELSE se realiza de acuerdo con la algoritmos dados en [9, 11] .

Paso 3: Crear instrucciones IF-THEN-ELSE con utilizando el Document
Object Model (DOM) [12], que hace que sea fcil de extraer informacin de
XML.

Paso 4: Desarrollo de la FSM en formato XML desde el
IF-THEN-ELSE.

Programa (PROG): Este tipo representa el POU
"Programa principal" en el PLC. Variables como las entradas y salidas de
todo el programa de PLC que se asignan a direcciones fsicas se declaran en
este POU.
Bloques de funciones (FB): Es una POU que se puede asignar parmetros y
contiene las variables estticas. Este tipo puede se invoca con parmetros
de entrada y llevar los valores de acuerdo con el estado de sus variables
internas. Un contador de tiempo o un bloque de contador es un ejemplo de
un FB.

Funcin (FUN): Es el punto de uso que se puede asignar parmetros, pero no
tiene ninguna variable esttica, que en el caso se invoca con los mismos
parmetros de entrada siempre produce el mismo resultado que su valor de
la funcin (de salida).

El proceso de conversacin de la FSM en formato XML de los mdulos del
PLC donde se describe el XML del FSM adquirida a travs de la conversin
de algoritmos PLC.

La conversin de binario Algoritmos
La conversin de algoritmos binarios se produce automticamente de la
FSM del mdulo PLC en XML

Descripcin. Esto garantiza la conversin directa de la lgica y la dinmica
de la FSM en la norma IEC 61131-3.

Conversin de temporizadores y contadores
La conversin de temporizadores y contadores no se inicia desde el XML de
la FSM. La transformacin se lleva a colocar, haciendo coincidir el tipo de
temporizador y contador a su contraparte en IEC.

La conversin de las instrucciones no binarias se produce a travs de la
FSM designado en el formato XML. la semntica de las instrucciones no
binarios se migra a un bloque de funcin recin definida estructurado en
IEC 61131 - 3 que, por tanto se conectar al proyecto directorio.

La descripcin de plantas
La planta utiliza para probar la re-implementacin y aplicacin de conversin
fue un modular didctica.
Sistema de Produccin (MPS) de FESTO [18]. La principal objetivo del
prototipo didctico es examinar las piezas de trabajo cilndricas de
espesor adecuado y tipo de material, perfore un agujero adecuado en cada
pieza de trabajo y luego ordenarlas en funcin de sus tipos de materiales.
Cul es el mtodo en la aplicacin de mtodos formales para aplicaciones
de PLC?
La pregunta se investiga es cmo conseguir que las aplicaciones de PLC con
confianza en su buen funcionamiento. Especialmente,
Estamos interesados en la contribucin potencial de mtodos formales para
su desarrollo.

Un desarrollo metdico de aplicaciones PLC puede con el apoyo de mtodos
formales tales como la sntesis de programas, una verificacin a posteriori,
las pruebas formales, la especificacin y los mtodos de diseo del
programa. Todos ellos tienen sus lmites, que son, por ejemplo, la
complejidad del sistema, la simplificacin de la realidad, y la restriccin
inherente a pequeos segmentos de la realidad.

Un sistema integrado consiste en un programa, un ordenador en el que se
ejecuta el programa, y un entorno que controlada (una mquina, vehculo,
avin, o toda una fbrica).
Correccin de un componente slo tiene sentido con respecto a los otros
componentes y con respecto con un objetivo de conjunto.

Especificacin del control.
Una especificacin de un controlador slo debe indicar cmo el medio
ambiente tiene que ser controlado. No debe declarar nada acerca del PLC o
lenguas en particular lo debe ser lo suficientemente general para que
cualquier mquina que satisface es aceptable como un controlador en el
medio ambiente dado.

Alto nivel de descripcin de la estructura.
En principio, a partir de las descripciones de nivel ms bajo programa de la
mquina, el PLC nivel ms bajo y el medio ambiente debe ser probable que la
especificacin general sostiene.

Esquema del medio ambiente.
En lugar de razonar acerca de una planta fsica con su tubos, pernos y
tuercas de la geometra especfica, podramos preferira algo as como un
"diagrama de tuberas e instrumentacin" que los resmenes de informacin
irrelevante.

Programa de PLC.
En lugar de razonar acerca de los bits podemos razonar en trminos
formalismos de alto nivel de. En el caso de programas de PLC esto sera un
texto en una o ms de la norma

Lenguajes de programacin del PLC.
PLC estndar.
Si los idiomas PLC de la norma IEC 1131-3 [5] son tener la misma semntica
independientes del modelo del PLC, una nica especificacin formal de
todos los PLCs es sea necesario. Debe ser la parte ms importante del PLC
estndar. Hasta ahora, no existe.

Bajo nivel de descripcin de la estructura.
Programa de la mquina de nivel ms bajo.
El programa de fsica en el PLC es cierto electromagntica la
representacin de un gran nmero de bits en la memoria del PLC.
Menor nivel de PLC.
Un PLC es un circuito electromagntico enorme y compleja que forma un
ordenador programable, junto con un Sistema operativo.

Medio Ambiente.
El sistema en el que el PLC con su programa est incrustado puede ser
compleja mquina mecano-elctrica o una planta qumica, etc

MTODOS FORMALES QUE CONTRIBUYEN A CONFIABLE
APLICACIONES PLC.
En esta seccin tratamos de poner los enfoques formales para PLC
aplicaciones en el contexto de nuestra esquema de la figura 1.
Ciertamente, la clasificacin a continuacin no es completa, y,
Adems, puede haber otras clasificaciones tiles.

Verificacin de programas.
La mayora del trabajo hecho en los mtodos formales para aplicaciones PLC
que se hace en el rea de verificacin de programas. Aqu, queremos hacer
hincapi en las relaciones de los enfoques de verificacin tanto, el nivel de
especificacin y fsica nivel.
Derivacin de programas.
Derivacin de programa es un tema largo investigado en
Ciencias de la Computacin. En el contexto de los PLC que queremos
mencionar dos enfoques.