Software

ORK

Open real-time Ravenscar kernel
Integrated with GNAT GPL
for LEON and Xtratum/LEON targets

The Open Ravenscar Real-Time Kernel (ORK+) is an open-source real-time kernel of reduced size and complexity, which can be used to develop high-integrity real-time applications in a subset of the Ada 2005 language compatible with the Ravenscar Profile, an Ada tasking profile for high-integrity systems.

Ada for LEGO Mindstorms

Based on LEGO Mindstorms and GNAT GPL

This package includes all the necessary tools to work with LEGO® MINDSTORMS® NXT under a Linux host using Ada.

ERMA

Eclipse Reusable Modelling Assets

The ERMA project is a set of basic assets for the construction of modeling tools to develop high integrity applications based on model driven methods.

Spark OFP

SparkOFP es un programa que permite la predicción en tiempo real de fallos en redes de comunicaciones. El programa es una implementación de un sistema OFP (Online Failure Predicition), predictor de fallos en tiempo real en español, ejecutado sobre la plataforma Apache Spark.

Analizador de modelos de Aprendizaje Automático para Mantenimiento Predictivo.

Este software, escrito en el lenguaje de programación R, realiza el análisis automático de una lista de modelos de predicción en el ámbito de mantenimiento predictivo. En base a ésta, genera cinco resúmenes que ayudan a entender el funcionamiento del sistema subyacente a partir de las importancias de las variables de todos los modelos.

FlinkPPM

FlinkPPM está orientado a la monitorización predictiva de procesos de negocio en tiempo real. Su objetivo es predecir, dada una serie de eventos observada para un determinado caso de negocio en ejecución, cuál será la secuencia completa de eventos relativa a dicho caso. Para ello, se hace uso de la plataforma Apache Flink, que permite llevar a cabo el procesamiento de las predicciones en paralelo por un conjunto de máquinas, lo que permite monitorizar procesos con grandes cantidades de eventos.
El programa recibe en tiempo real eventos a través de Apache Kafka, una plataforma de streaming de eventos, y envía las predicciones acerca de cuáles serán las secuencias de eventos definitivas de cada caso de negocio observado de nuevo a través de Apache Kafka. Este software ha sido implementado mediante el lenguaje Scala, por lo que se ha usado la API que ofrece Apache Flink para dicho lenguaje.