Esta es la aplicación de Linux llamada autoCode4 cuya última versión se puede descargar como autoCode4_v1.0.0.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 autoCode4 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.
CAPTURAS DE PANTALLA:
autoCode4
DESCRIPCIÓN:
autoCode4 es un motor que sintetiza controladores a partir de especificaciones formales descritas en un subconjunto de lógica temporal lineal (LTL).Es importante destacar que sintetiza controladores de flujo de datos síncronos (en forma Lustre o Ptolomeo II) y mantiene la trazabilidad de los requisitos al código. Dicha característica es obligatoria en el desarrollo de sistemas críticos para la seguridad y se considera esencial para la validación de especificaciones o la integración de la implementación manual, como el código heredado.
La especificación LTL captura el comportamiento deseado de un controlador donde el entorno toma el primer movimiento (es decir, sentido / entrada y luego reacción / salida), por lo que el controlador sintetizado puede verse como una máquina Mealy.
Un tutorial paso a paso está disponible dentro del paquete de software.
Caracteristicas
- Controlar la síntesis a partir de la especificación formal
- Genere un informe de trazabilidad de los requisitos al módulo
Audiencia
Aeroespacial, Tecnología de la información, Ciencia / Investigación, Fabricación, Desarrolladores
Interfaz de usuario
Consola / Terminal, línea de comandos
Lenguaje de programación
Java
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/autocode4/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.