Hoe kunnen garanties gegeven worden over de betrouwbaarheid en prestaties van embedded of cyber-physical systemen voor verregaand autonoom gebruik, die tijdens het gebruik emergent gedrag vertonen?

Embedded of cyber-physical systemen zijn systemen die bestaan uit een combinatie van computerhardware, software, besturing, en/of mechanische delen, vaak ingebed in een groter systeem. Systemen die ontworpen zijn om autonoom te functioneren krijgen een steeds hogere complexiteit en variëteit, waardoor ze emergent gedrag gaan vertonen, gedrag dat niet voorzien is maar volgt uit het ontwerp en de interactie met de omgeving en andere systemen.