Investigación

 

Director:
Prof. Dr. D. Álvaro Bustinduy Candelas

abustind@nebrija.es

Campus de
la Dehesa de la Villa
C/Pirineos 55
28040 – Madrid (verdana, 1)
 
La OTRI participa en la Red OTRI de Universidades y colabora con sus homónimas de las Universidades de Madrid, gracias al Programa Madri+d de la Dirección General de Investigación de la Comunidad de Madrid.
 




 
Grupo de diseño y verificación de sistemas del software

Integrantes:

Dra. Victoria López López
Dr. Luis Garmendia Salvador (Universidad Complutense de Madrid)
Elvira Hernández
Jorge Martínez
José Miguel Cleva (Universidad Complutense de Madrid)



Responsable: Dra. Victoria López López

Líneas de Investigación:

1.- Validación de procesos con incertidumbre. En este campo se analizan sistemas reales donde la certidumbre no puede garantizarse, se realizan modelos matemáticos del proceso y se extraen los algoritmos críticos donde se requiere una verificación y una corrección formal. En el caso de que existan algoritmos donde se trate la incertidumbre, se modelizan distintas situaciones mediante interpretaciones y evaluaciones del sistema difuso. Estas evaluaciones se utilizan en la composición de un sistema de ayuda a la decisión, útil para informar a los expertos de los valores y resultados obtenidos al aplicar diferentes semánticas no nítidas al sistema de procesos inicial.


2.- Ingeniería del Software. Verificación y validación de algoritmos críticos. Detección de algoritmos críticos en proyectos software. Los algoritmos críticos requieren una especificación formal y una corrección matemática que asegure su buen funcionamiento sobre todo en situaciones extremas donde deben aplicarse técnicas de clasificación no supervisadas. Estudio de la fiabilidad de procesos software. Estudio de la estabilidad de procesos software.


Aplicaciones de la investigación: Se materializan en tres campos distintos:

1.- Ingeniería del software. Validación y testing, procesos de model checking, en todas las áreas.
2.- Calidad del software: Directivas y normativas de calidad.
3.- Seguridad informática: Normativa.