In de vakgroep Control Systems Technology van de Technische Universiteit Eindhoven (TU/e) loopt daarom momenteel – in samenwerking met Rijkswaterstaat – het onderzoeksprogramma Supervisory control synthesis (SCS). In dit onderzoek wordt functionaliteit van systemen geformaliseerd in modellen. Door middel van simulatie kunnen deze modellen gevalideerd worden, waarna op basis van wiskundig bewezen algoritmen de bijbehorende besturingssoftware gegenereerd kan worden. Door de wiskundige bewijsvoering is de geproduceerde software 100 % gelijk aan de gevalideerde modellen en worden daarmee menselijke interpretaties en fouten uitgesloten.Voor software die op deze wijze tot stand wordt gebracht heeft verificatie dan ook geen meerwaarde. De juistheid van de verkregen software heeft daarom veel potentie voor veiligheidskritische systemen.

Witteveen+Bos is bij dit onderzoek betrokken door voor Rijkswaterstaat een schaduwontwerp te maken voor een pilot-project (Prinses Marijkesluizen) op basis van de SCS-methode. Het ontwikkelen van een schaduwontwerp geeft inzicht in de (informatie)behoeftes die contractpartijen bij de uitvoering van een dergelijk project hebben. Bovendien geeft het schaduwontwerp inzicht in de relatie met de Landelijke Bruggen- en Sluizenstandaard (LBS) en de bijhorende eisendatabase (GRIP). Het schaduwontwerp is ontwikkeld vanuit alle ontwerpdocumenten, zoals voorgeschreven in de documentenstandaard J-STD-016.