Systematische analyse van veiligheids-vereisten voor autonome systemen

Dit doctoraatsproject maakt deel uit van de onderzoekslijn die een uitvoeringsplatform onderzoekt en ontwikkelt voor het bouwen van betrouwbare autonome systemen, waarbij garanties kunnen gegeven worden omtrent de veiligheid en betrouwbaarheid. Meer bepaald zal dit doctoraatsproject zich toeleggen op de studie en evaluatie van STPA voor de analyse van gevaren en risico's van autonome systemen in drie aspecten: (1) de geschiktheid van STPA voor het ontdekken, vastleggen en modelleren van een aanzienlijk aantal veiligheidsvereisten voor dergelijke autonome systemen; (2) concepten en technieken voor het verifiëren van de volledigheid en consistentie van veiligheidsvereisten; en (3) hoe kan omgegaan worden met zelf-adaptief gedrag, bv. omwille van machinaal leren (zij het beperkt to adaptatie van elementaire parameters in het gedrag). Een gevalstudie van een AMR (Autonome Mobiele Robot) zal de basis vormen voor de validatie van dit onderzoek.