Esta es la aplicación de Linux llamada G4LTL-ST cuya última versión se puede descargar como G4LTL-ST_gplv3_v1.07.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada G4LTL-ST con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
G4LTL-ST
DESCRIPCIÓN
G4LTL-ST es una herramienta independiente y una biblioteca Java para generar automáticamente software de control industrial (compatible con IEC-61131-3 Structure Text) a partir de LTL o especificaciones lógicas extendidas.
Consulte Tutorial.txt dentro del paquete para obtener instrucciones paso a paso. Para información técnica, consulte el documento CAV'14 "G4LTL-ST: Generación automática de programas de PLC". La versión anterior (G4LTL; bajo licencia BSD) está disponible en el archivo \ arxiv.
Caracteristicas
- Genere automáticamente programas de PLC (texto de estructura IEC 61131-3) a partir de LTL o especificaciones lógicas extendidas
- Especificación de soporte para temporizadores, restricciones numéricas simples
- Para especificaciones problemáticas, proponga nuevos modelos de entorno como una solución de la especificación.
- Soporte de salida a modelos de simulación y verificación.
- Soporte de compatibilidad con varios proveedores (por ejemplo, 3S CODESYS, ABB, WAGO).
- Ejemplos con código sintetizado colocado dentro de proyectos CODESYS
Audiencia
Ciencia / Investigación, Fabricación, Desarrolladores, Ingeniería
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/g4ltl/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
