Esta web utiliza cookies para optimizar la navegación. Al continuar con su visita, usted acepta el uso de cookies y nuestra politica de privacidad Acepto

IK4 Doctorados

 

IKERLAN

Investigación orientada al desarrollo de personas y a la transferencia de las tecnologías más avanzadas para las empresas.

 
DOCTORADOS

IKERLAN

Detección de anomalías en sistemas SW

IKERLAN

INICIO: 09/2017

ABIERTO

OBTENCIÓN GRADO DOCTOR/A: 09/2020

Descripción

El objetivo principal de la tesis es utilizar verificadores automáticos para probar propiedades de diferentes tipos de chequeo de modelos (model checking, abreviado MC).

Los sistemas software safety-critical que se implantan en diferentes sectores como el aeronáutico, el ferroviario o la medicina, requieren ser verificados rigurosamente antes de ser puestos en marcha.

Las técnicas de verificación formal pretenden formalizar y automatizar el proceso de verificación del software y, de esta forma, hacerlo más seguro.

La técnica de MC es una técnica formal para chequear si una determinada especificación o modelo de un sistema satisface una propiedad dada.
En esta tesis se abordará la verificación de diferentes sistemas de MC.

Objetivos:
     - Estudio del estado de la tecnología en técnicas de verificación formal y en técnicas de MC.
     - Análisis de herramientas disponibles para MC y planteamiento de un caso de estudio práctico de MC.
     - Diseño, verificación y aplicación al caso de estudio de un chequeador de modelos.

Departamento o Unidad del Centro Tecnológico Asociado

Tecnologías de información y comunicación

Línea de investigación

Tecnologías de electrónica información y comunicación

Fecha inicio prevista

09/2017

Fecha obtención grado doctor/a

09/2020

Requisitos necesarios

- Ingeniería de Telecomunicación, Ingeniería en Informática, Ingeniería en Electrónica, Licenciado en Matemáticas, Licenciado en Físicas, o similar.
- Se considera indispensable el dominio del inglés (el doctorando realizará una estancia en un centro de referencia internacional de al menos tres meses).
- El doctorando deberá contar con iniciativa y motivación para desarrollar nuevos conceptos y esquemas de comunicación, con una capacidad de liderazgo para la resolución de problemas.
- Se valorarán positivamente las competencias del doctorando en las siguientes temáticas:
- Lenguajes de programación: C, C++, etc.
- Lenguajes para el modelado y simulación: OPNET, Omnet++, Matlab, etc.
- Matemáticas.
- Capacidad de liderazgo y orientación a resolución de problemas.
- Capacidad de trabajar en equipo.
- Vocación científica.

IK4 Research Alliance SELECCIONA EN ORDEN DE PRIORIDAD  LAS OFERTAS A LAS QUE DESEAS INSCRIBIRTE Poniendo el número 1 como primera opción, 2, ó 3 como última opción

Puedes elegir un máximo de 3 ofertas.
Recuerda que sólo debes darle a "Enviar" cuando ya tengas configuradas tus opciones correctamente, mientras tanto, usa el botón de "Guardar" para ir añadiendo más o modificarlas de posición.