Ontwerpen van softwarerichtlijnen en testspecificaties voor niet-functionele vereisten in veiligheidskritische autonome systemen

Tijdens dit doctoraatsonderzoek zullen innovatieve richtlijnen voor softwareontwerp en testen gecreëerd worden, gerelateerd aan de niet-functionele vereisten van veiligheidskritische autonome systemen. Daarnaast zal de validatie van deze nieiwe richtlijnen worden uitgevoerd om te verifiëren dat deze strategieën van toepassing zijn binnen voor de industrie relevante veiligheidskritieke toepassingen.