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 Aurrera

IK4 Doctorados

 

IKERLAN

Pertsonen garapenari eta enpresei teknologia aurreratuena transferitzen bideratutako ikerketa.

 
DOKTOREGOA

IKERLAN

SW sistemetan irregulartasunak hautematea

IKERLAN

HASIERA: 09/2017

IREKITA

DOKTORETZA GRADUAREN LORPENA: 09/2020

Deskripzioa

Ereduak egiaztatzeko mota desberdinen (model checking, laburtuta MC) ezaugarriak probatzeko ziurtatzaile automatikoak erabiltzea da tesiaren oinarrizko helburua.
Aeronautikoa, medikuntzarena edo trenbideena bezalako hainbat sektoretan ezartzen diren safety-critical software sistemek, martxan jarri aurretik, zorrotz egiaztatuak izatea behar dute.
Egiaztatze formaleko teknikek softwarearen egiaztatze prozesua automatizatzea eta formalizatzea dute helburu, horrela, seguruago egiteko.
Sistema baten zehaztapen edo eredu jakin batek zehaztutako ezaugarri bat asebetetzen ote duen egiaztatzeko teknika formala da MC teknika.
Tesi honetan hainbat MC sistema egiaztatuko dira.
Helburuak:
    • MC eta egiaztatze formaleko tekniketako teknologiaren egoera ikertzea.
    • MCrako tresna posibleak aztertzea eta MC ikerketa-kasu praktiko bat proposatzea.
    • Ereduak egiaztatzeko ikerketa kasua diseinatzea, egiaztatzea eta ezartzea.

Zentru teknologiko asoziatuaren departamentu edo unitatea

Informazio Komunikazio Teknologiak

Ikerketa-lerroa

Elektronika, Informazio eta Komunikazio Teknologiak

Aurreikusitako hasiera-eguna

09/2017

Doktoretza graduaren bukaera-eguna

09/2020

Beharrezko baldintzak

Telekomunikazio Ingeniaritza, Ingeniaritza Informatiko, Ingeniaritza Elektroniko, Matematikan Lizentziatura, Fisikan Lizentziatura edo antzekoak.
Ingelesa jakitea beharrezkoa da.
Doktoregaiak kontzeptu eta komunikazio eskema berriak garatzeko motibazio eta ekimena izan beharko ditu; arazoak konpontzeko lidergorako gaitasuna ere garrantzitsua izango da.
Doktoregaiak honako gai hauetan dituen konpetentziak era positiboan baloratuko dira:
    • Programazio lengoaiak: C, C++, etab.
    • Simulazio eta modelaketarako lengoaiak: OPNET, Omnet++, Matlab, etab.
    • Matematika.
    • Arazoak konpontzeko lidergorako eta orientabiderako gaitasuna.
    • Taldean lan egiteko gaitasuna.
Bokazio zientifikoa.
IK4 Research Alliance HAUTATU LEHENTASUNAREN ARABERA ZER ESKAINTZETAN EMAN NAHI DUZUN IZENA

Lehen aukerari 1 jarri, eta azken aukerari 3.

Gogoan izan aukerak behar bezala konfiguratuta dauzkazunean bakarrik sakatu behar duzula “Bidali”. Bitartean, aukerak gehitzeko edo lekuz aldatzeko, erabili “Gorde”.