Comunicaciones Avanzadas, Proyectos...
COGNIBOT permitirá avanzar hacia infraestructuras de comunicación y computación más eficientes, flexibles y adaptadas a las necesidades de los entornos industriales d...
tools4check
Verificación y Validación de sistemas críticos en metodologías de desarrollo dirigidas por modelos
Inicio
01/07/2024
Fin
30/06/2025
Resultados
Presentación
El proyecto tools4check se enmarca en el desarrollo de sistemas safety-critical, también conocidos como sistemas críticos de tiempo real. ITI contribuye con el desarrollo y evolución de su entorno a2k, cuyo principal objetivo es ayudar al ingeniero en el proceso de modelado, caracterización, análisis, simulación y verificación y validación de sistemas safety critical. La finalidad principal de a2k es guiar a los diseñadores y desarrolladores a construir sistemas hardware-software críticos seguros y eficientes mediante un enfoque de desarrollo dirigido por modelos.
El desarrollo de sistemas hardware-software en entornos safety-critical resulta muy complejo de gestionar, y el mercado pone la presión sobre los diseñadores y arquitectos para reducir costes, reducir tiempos en el ciclo de desarrollo, aprovechar al máximo la reutilización de componentes que permitan reducir esfuerzos y riesgos, y cumplir además con estándares de certificación. El desarrollo dirigido por modelos en los que se inspira la herramienta a2k es un paradigma que encaja a la perfección para abordar este tipo de exigencias. De esta manera tendremos una solución que permitirá a las empresas, primero, agilizar el desarrollo y certificación de sus productos por la generación automática de código e informes y la detección anticipada de errores, segundo, adaptarse rápidamente a cambios en el mercado enfocado en la reutilización confiable de componentes software mediante la introducción del uso de modelos en sus diseños hardware- software, y tercero, reducir el esfuerzo de V&V por el uso de entornos virtuales, simulaciones de condiciones de entornos y una monitorización no invasiva que proveerá resultados más fidedignos.
Objetivos
El objetivo principal de Tools4Check es evolucionar la herramienta a2k aplicando propuestas y resultados de los procesos de investigación en el área de los sistemas ciberfísicos críticos e ingeniería del software. En este sentido, se pretende alcanzar los siguientes objetivos específicos:
- Definición de métodos de verificación y validación enfocados en simulación X-in-the-loop.
- Integración de procesos de verificación y validación con mecanismos de integración continúa (CI) en las pruebas de integración hardware-software sobre plataformas virtuales y físicas.
- Generar código de forma automática a partir de modelos de aplicación del sistema que sea usable en el hardware final del usuario.
- Generación de trazas durante la ejecución del software final embebido mediante mecanismos no intrusivos que permitan una verificación fiable del comportamiento temporal del software.
- Construcción de módulos de análisis de trazas con el fin de obtener perfiles de comportamiento de la aplicación.
- Extensión de los reportes digitales y paneles de visualización con los resultados generados en este proyecto.
- Validación funcional y de usabilidad de la herramienta
Entidades financiadoras
Entidad:
IVACE - FEDER
Nº Expediente:
IMDEEA/2024/96
Financiación:
249.987,80 EUR
Noticias relacionadas
Proyectos I+D+I, Sistemas Ciberfís...
Los operarios que trabajan en conservación de infraestructuras se enfrentan a un entorno de elevada peligrosidad, donde la tasa de accidentes y siniestros es más elevad...
Sistemas Ciberfísicos
El proyecto TRANSACT tiene el objetivo de combatir la escasez de agua en España a través de la extensión de los sistemas ciberfísicos críticos embebidos en servicios...