Een relatief nieuwe manier om dergelijke besturingen te ontwikkelen is door gebruik te maken van synthese-gebaseerd ontwikkelen (‘synthesis based engineering’, SBE, in het Engels). Het combineert modelgebaseerde ontwikkeling met computerondersteund ontwerp. Het stelt ingenieurs in staat zich te concentreren op ‘wat’ het systeem moet doen (de besturingseisen) in plaats van ‘hoe’ het dat moet doen (ontwerp en implementatie), verhoogt het abstractieniveau, synthetiseert automatisch correct-door-constructie besturingen, en levert daarmee betere besturingen op tegen lagere kosten.
Hoewel SBE steeds breder wordt toegepast in de industriële praktijk, is de adoptie ervan niet zonder uitdagingen, omdat het nog vrij nieuw is, verschilt van bestaande ontwikkelingsaanpakken en ingenieurs er nog niet bekend mee zijn. Het is daarom essentieel dat het resultaat van synthese gemakkelijk kan worden begrepen door de ingenieurs, en dat het voor hen duidelijk is waarom dit het juiste resultaat is. Momenteel is dit niet altijd het geval.
In dit project onderzoeken we manieren om het SBE ontwikkelproces te verbeteren, zodat het beter uitlegbaar en traceerbaar is. Concreet verbeteren we de uitkomst van synthese om zo compact, leesbaar en menselijk begrijpelijk mogelijk te zijn, ontwikkelen we middelen om de effecten van de synthese zo uitlegbaar mogelijk te maken, en verbeteren we de traceerbaarheid gedurende het SBE proces, van de uitvoering van het systeem helemaal terug naar de gespecificeerde besturingseisen.