options
search icon
email icon
ES
rrss gif icons
twitter icon
linkedin icon youtube icon

Detección de anomalías en sistemas software


Referencia

DOCSWF1

N.º Vacantes

1

Tipo

Jornada completa

Especialidad

Fabricación Avanzada


18/08/2017

shape

FUNCIONES

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.

REQUISITOS

  • 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.

¿Te interesa?

si crees que encajas en el perfil envíanos tus datos

Tamaño máximo de archivo 2 Mb

Campos obligatorios

He leído y acepto la política de privacidad de IK4-Ikerlan

OFERTA RELACIONADA CON NUESTRA LÍNEA DE Fabricación Avanzada

Descubre más sobre Fabricación Avanzada
close overlay