Het Nederlandse high-techbedrijf Sioux Technologies en het Britse softwarebedrijf Cocotec zijn een strategisch partnerschap aangegaan om high-tech systemen betrouwbaarder, efficiënter en voorspelbaarder te maken. De samenwerking speelt in op een duidelijke ontwikkeling in de industrie: systemen worden steeds complexer, softwaregedreven en kritischer in hun functioneren.
Om die groeiende complexiteit beheersbaar te houden, combineren beide bedrijven hun expertise. Cocotec levert softwaretools voor formele verificatie, debugging en de ontwikkeling van hoogwaardige, betrouwbare software via het platform Popili. Sioux integreert deze technologieën vervolgens in het ontwerp en de realisatie van complete high-tech systemen.
Volgens beide partijen maakt deze aanpak het mogelijk om software niet alleen sneller te ontwikkelen, maar ook aantoonbaar betrouwbaarder te laten functioneren in de praktijk — essentieel in sectoren waar fouten geen optie zijn.
Efficiënter ontwikkelen
Klanten die de technologie al toepassen, realiseren volgens Sioux en Cocotec efficiëntiewinsten van 25 tot 50 procent. Door software al in een vroeg stadium formeel te verifiëren, worden kostbare verrassingen tijdens testfases, integratie en latere ontwikkelfasen voorkomen.
Daarnaast sluit het platform goed aan op AI-ondersteunde softwareontwikkeling. AI-gegenereerde code kan namelijk automatisch worden gevalideerd op correctheid en betrouwbaarheid voordat deze in kritische systemen wordt toegepast.
Organisatiebrede samenwerking
Het partnerschap omvat een organisatiebrede inzet van Cocotec-tools binnen Sioux, inclusief training van engineers en verdere integratie van de tooling in ontwikkelprocessen. Daarnaast trekken beide bedrijven gezamenlijk richting de markt op, onder meer via gezamenlijke leadontwikkeling en wederzijdse aanbevelingen van Cocotec-tools en Sioux-specialisten.
Sioux beschikt over jarenlange ervaring in het modelleren en ontwikkelen van complexe systemen. Cocotec voegt daar formele verificatie aan toe: een methode waarmee softwaregedrag mathematisch wordt gevalideerd voordat systemen operationeel worden.
“De complexiteit van moderne systemen groeit sneller dan traditionele ontwikkelmethoden aankunnen,” zegt Ron Willems. “Door formele verificatie structureel te combineren met systeemarchitectuur en integratie, kunnen we betrouwbaarheid vanaf het begin waarborgen. Dat maakt het verschil tussen systemen die werken en systemen die aantoonbaar blijven werken.”
Ook Philippa Broadfoot ziet een sterke inhoudelijke match tussen beide bedrijven. “Onze missie is om een probleem op te lossen dat softwareontwikkeling al decennialang uitdaagt: hoe lever je complexe software snel op, terwijl je er zeker van bent dat deze daadwerkelijk werkt? Toen we Sioux ontmoetten, herkenden we een partner met dezelfde compromisloze kwaliteitsstandaarden en engineeringmentaliteit.”
