modelos a los programas de PLC de tamaño industrial

modelos a los programas de PLC de tamaño industrial

1. PLC

   • unidad de procesamiento y módulos de entrada / salida para adquirir y actuar con sensores y actuadores del proceso
     • a principal particularidad del PLC es su esquema de ejecución cíclica.
       • ller la entrada de la periferia a la memoria
       • ejecutar el programa de usuario que lee y modifica el contenido de la memoria
       • escribir los valores en la periferia de salida
   • Bloques de programa En los PLC de Siemens
     • (FC) código ejecutable con entrada, salida y variables temporales.
     • Un bloque de organización (OB) es una función especial asignada por el sistema. Los OBs son los puntos de entrada del código de usuario
     • Un bloque de datos (DB) es un grupo de variables estáticas a las que se puede acceder globalmente en el programa.
     • Un bloque de función (FB) es una pieza de código ejecutable con variables de entrada, salida, estática y temporal
   • verificacion
     • IL o al código de máquina, y sólo este único lenguaje de bajo nivel
     • El punto de partida es el código fuente del programa PLC y las exigencias formalizadas de una especificación informática
     • Varias técnicas automáticas de reducción y extracción se aplican al modelo generado, dependiendo de la necesidad de veri fi cación.
     • El modelo reducido se traduce automáticamente a lenguajes de modelado externos, utilizados por las herramientas de veri fi cación
     • Los modelos externos resultantes pueden ser formalmente veri fi cados como usos tales como: Otras herramientas (por ejemplo, BIP) proporcionan instalaciones de simulación y generación de código, que pueden ser útiles para desarrolladores de PLC.
     • Los contraejemplos producidos por chequeos de modelos permiten a los desarrolladores de PLC analizar los resultados para con fi rmar la presencia de bugs en el sistema o refinar los modelos.

2. transformacion de modelos

   • reglas de transformación más relevantes de SCL y SFC a IM.3
     • Regla PLC 1 bloques de código concurrentes múltiples. Los programas de PLC son representados por el programa principal (es decir, los PLC de OB1 en Siemens), que se ejecuta cíclicamente y los controladores de interrupción. Asunción
     • Regla PLC 2 (FC): Esta regla traduce las funciones en IM. Un OB puede considerarse como un FC especial que es invocado por el sistema operativo, por lo que esta regla también se aplica a OBs.
     • Regla PLC 3 (instancia de FB): Esta regla traduce instancias de FB en IM. La hipótesis 2 también se aplica aquí.
     • Regla PLC 4 (Variables): Esta regla mapea variables de programa a variables en el modelo de IM. Asunción 3: Toda variable

3. Transformación SCL a IM

   • Regla SCL 1 (sentencia SCL): Una instrucción es el elemento independiente más pequeño de un programa SCL. Puede contener otros componentes
   • Regla SCL 2 (asignación de variables): Esta regla traduce asignaciones de variables SCL a IM
   • Regla SCL 3 (declaración condicional): Para cada declaración condicional stmt = IF c THEN sl1 ELSE sl2 END_IF ,
   • Rule SCL 5 (FC or FB call)

4. trnasformacion SFC a IM

   • Regla SFC 1 (paso SFC): Para cada paso STEP stepName: END_STEP, creamos una variable booleana FV (stepName) (que representa la variable referenciada como stepName.x en los programas PLC o en el estándar
   • Regla SFC 2 (paso inicial de SFC): Para el paso inicial INITIAL_STEP initStep: END_STEP, las variables se crean de acuerdo con la regla anterior
   • Regla SFC 3(transiciones SFC): Asunción6: Basado enexperimentos con el SFCeditor de Siemens,,orden ascendente de prioridad en la representación textual4 que es nuestra entrada