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.

|