Cyber-fysieke systemen bevatten coördinerende besturingen die het correcte en veilige gedrag van een systeem waarborgen. De ontwikkeling van die besturingen wordt steeds complexer, bijvoorbeeld door toenemende prestatie-eisen, een toenemend aantal varianten van het systeem, tekort aan geschoolde ingenieurs, etc. Dit leidt tot grotere ontwikkelingsinspanningen en kosten, en schaalt niet naar de toekomst. Bedrijven moeten efficiënter werken, door meer te doen met minder mensen.

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.