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.