Waarborgen van de veiligheid van autonome systemen door middel van human-centered exectuable assurance cases

Hoewel autonome systemen enorme mogelijkheden bieden, gaan zij ook gepaard met grote uitdagingen op het gebied van veiligheid. De veiligheid van de mens staat immers centraal  in elk autonoom systeem. Huidige veiligheidstechnieken en -normen zijn in de eerste plaats ontwikkeld voor systemen waarbij de mens het systeem kan overnemen in noodsituaties. Dit maakt ze ongeschikt voor autonome systemen. Executable safety assurance cases in combinatie met digital twins bieden een enorm potentieel als robuust veiligheidskader voor autonome systemen. De overgang van klassieke statische veiligheidstechnieken naar dynamische veiligheidswaarborging zonder enige menselijke tussenkomst is echter een enorme stap. Daarom zal dit doctoraatsvoorstel zich richten op human-centered executable safety cases als een belangrijke tussenstap in dit proces. We onderzoeken hierbij de volgende hypthese: kunnen we de veiligheidsingenieur in staat stellen de veiligheidsclaims, argumenten en aannames, die aan de basis liggen van de safety assurance case, dynamisch te herevalueren door de combinatie te maken van exectuable safety assurance cases en digital twins. Dit onderzoek zal fundamentele kennis opleveren over dynamisch risicobeheer nodig om de veiligheid van moderne hoogtechnologische, softwaregedreven autonome systemen te verzekeren. Bovendien ondersteunen de resultaten van de onderzoek de overgang naar een toenemend (optimaal) gebruik van slimme machines en veilige intelligente transportsystemen.