Esta es la aplicación de Linux llamada REDLIB cuya última versión se puede descargar como redlib.a.130816.tar.gz. 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 REDLIB 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.
REDLIB
DESCRIPCIÓN:
* Biblioteca de verificación de modelos / verificación de simulación para sistemas en tiempo real con modelos de tiempo denso en C con tecnología CRD (Diagramas de restricción de reloj). * Biblioteca de análisis paramétrico para sistemas híbridos lineales en C con tecnología HRD (Hybrid-Restriction Diagram)
Caracteristicas
- Comprobación de modo simbólico y comprobación de simulación
- Comunicación de modelos de autómatas temporizados (CTA) y modelos de autómatas híbridos lineales (LHA)
- Biblioteca de interfaz abierta
- Verificación de modelos TCTL con supuestos de equidad
- Simulación de feria CTA
- Análisis de seguridad paramétrico LHA
- GUI disponible para edición de modelos y simulación simbólica con control API
- Muchas aplicaciones disponibles, incluyendo ompca (analizador OpenMP C), pathg (simulador simbólico de CTA), solucionador de sudoku, constructor de gráficos de accesibilidad, etc.
Audiencia
Tecnología de la información, ciencia / investigación, educación, industria de las telecomunicaciones
Lenguaje de programación
C
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/redlib/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.