Este trabajo de fin de grado se enmarca en el desarrollo de herramientas de verificación para sistemas críticos dentro del sector aeronáutico, concretamente en el contexto del subsistema TDS (Time Distribution System) para la estación de tierra de un RPAS (Remotely Piloted Aircraft System) de uso militar. Ante la dificultad de interpretar en tiempo real grandes volúmenes de datos técnicos almacenados en Redis durante las simulaciones, se propuso el desarrollo de una solución visual e interactiva integrada en Redis Insight, herramienta usada para la consulta de datos en Redis.
La solución implementada consiste en una prueba de concepto funcional que simula un entorno operativo mediante una placa KR260 conectada a una antena. Los datos obtenidos se integran con entorno existente a través de un módulo en Go que los publica en Redis. Sobre esta base, se ha desarrollado el plugin visual integrado en Redis Insight, utilizando tecnologías web como React y TypeScript, que permite representar de forma visual y en tiempo real los distintos tipos de datos técnicos: tiempos, señales, posiciones y métricas simuladas.
El sistema ofrece una arquitectura modular, fácilmente integrable con la arquitectura existente, y que permite a los usuarios crear visualizaciones personalizadas sin necesidad de modificar el código fuente del plugin. A través de su uso, se ha podido demostrar una mejora significativa en la interpretación de los datos de simulación, así como en la identificación de errores durante los procesos de verificación.
El trabajo concluye con una reflexión sobre las limitaciones actuales del sistema y se proponen diversas líneas de trabajo futuro para extender sus capacidades y facilitar su adaptación a entornos reales de validación de software crítico.
Abstract:
This thesis focuses on the development of verification tools for safety-critical systems in the aerospace sector, specifically within the context of the TDS (Time Distribution System) subsystem for the GCS (Ground Control Station) of a military RPAS (Remotely Piloted Aircraft System). Given the difficulty of interpreting large volumes of technical data stored in Redis in real time during simulations, a visual and interactive solution integrated into Redis Insight, the tool used to query Redis data, was developed.
The implemented solution is a functional proof of concept that simulates an operational environment using a KR260 board connected to an antenna. The collected data is integrated into the existing infrastructure through a Go module that publishes the data to Redis. Based on this foundation, a visual plugin for Redis Insight has been developed using web technologies such as React and TypeScript, enabling real-time graphical representation of various technical data types: time signals, status indicators, positional data, and simulated metrics.
The system provides a modular architecture that is easily integrated with the existing setup, allowing users to create custom visualizations without modifying the plugin’s source code. Its use has demonstrated a significant improvement in the interpretation of simulation data and in the detection of anomalies during the software verification process.
The thesis concludes with a discussion of the current system’s limitations and outlines several future work directions aimed at extending its capabilities and facilitating its deployment in real-world safety-critical software validation environments.
Este trabajo de fin de grado se enmarca en el desarrollo de herramientas de verificación para sistemas críticos dentro del sector aeronáutico, concretamente en el contexto del subsistema TDS (Time Distribution System) para la estación de tierra de un RPAS (Remotely Piloted Aircraft System) de uso militar. Ante la dificultad de interpretar en tiempo real grandes volúmenes de datos técnicos almacenados en Redis durante las simulaciones, se propuso el desarrollo de una solución visual e interactiva integrada en Redis Insight, herramienta usada para la consulta de datos en Redis.
La solución implementada consiste en una prueba de concepto funcional que simula un entorno operativo mediante una placa KR260 conectada a una antena. Los datos obtenidos se integran con entorno existente a través de un módulo en Go que los publica en Redis. Sobre esta base, se ha desarrollado el plugin visual integrado en Redis Insight, utilizando tecnologías web como React y TypeScript, que permite representar de forma visual y en tiempo real los distintos tipos de datos técnicos: tiempos, señales, posiciones y métricas simuladas.
El sistema ofrece una arquitectura modular, fácilmente integrable con la arquitectura existente, y que permite a los usuarios crear visualizaciones personalizadas sin necesidad de modificar el código fuente del plugin. A través de su uso, se ha podido demostrar una mejora significativa en la interpretación de los datos de simulación, así como en la identificación de errores durante los procesos de verificación.
El trabajo concluye con una reflexión sobre las limitaciones actuales del sistema y se proponen diversas líneas de trabajo futuro para extender sus capacidades y facilitar su adaptación a entornos reales de validación de software crítico.
Abstract:
This thesis focuses on the development of verification tools for safety-critical systems in the aerospace sector, specifically within the context of the TDS (Time Distribution System) subsystem for the GCS (Ground Control Station) of a military RPAS (Remotely Piloted Aircraft System). Given the difficulty of interpreting large volumes of technical data stored in Redis in real time during simulations, a visual and interactive solution integrated into Redis Insight, the tool used to query Redis data, was developed.
The implemented solution is a functional proof of concept that simulates an operational environment using a KR260 board connected to an antenna. The collected data is integrated into the existing infrastructure through a Go module that publishes the data to Redis. Based on this foundation, a visual plugin for Redis Insight has been developed using web technologies such as React and TypeScript, enabling real-time graphical representation of various technical data types: time signals, status indicators, positional data, and simulated metrics.
The system provides a modular architecture that is easily integrated with the existing setup, allowing users to create custom visualizations without modifying the plugin’s source code. Its use has demonstrated a significant improvement in the interpretation of simulation data and in the detection of anomalies during the software verification process.
The thesis concludes with a discussion of the current system’s limitations and outlines several future work directions aimed at extending its capabilities and facilitating its deployment in real-world safety-critical software validation environments. Read More
Related posts:
Poster: Load balancing for in-memory key-value data stores
Diseño de una arquitectura de codificación de datos patrimoniales segurizada para un escenario Post-Cuántico
Desarrollo de un plugin visual studio code para EasyInterface
Estudio y prototipo exploratorio para el análisis, detección y predicción de patrones oscuros web heurísticos con Figma
Análisis del comportamiento del alumnado de 3º y 4º ESO respecto a la discapacidad
Revisión de software para análisis topológico de datos