Persbericht
Sioux Technologies en het Britse softwarebedrijf Cocotec zijn een strategisch partnerschap aangegaan om high-tech systemen betrouwbaarder en voorspelbaarder te maken. De samenwerking speelt in op een duidelijke ontwikkeling in de industrie: systemen worden steeds complexer, sterker softwaregedreven en steeds kritischer in hun functioneren.
Om deze groeiende complexiteit beheersbaar te houden, combineren Sioux en Cocotec hun expertise. Cocotec levert softwaretools voor formele verificatie, debugging en de ontwikkeling van hoogwaardige, betrouwbare software via het platform Popili, terwijl Sioux deze technologieën integreert in het ontwerp en de realisatie van complete high-tech systemen. Hierdoor kan software niet alleen sneller worden ontwikkeld, maar ook aantoonbaar betrouwbaarder functioneren in de praktijk – essentieel in omgevingen waar fouten geen optie zijn.
Klanten die deze technologie gebruiken, realiseren al efficiëntiewinsten van 25 tot 50%, doordat verificatie in een vroeg stadium kostbare verrassingen tijdens testen, integratie en latere ontwikkelfases voorkomt. Het platform is bovendien zeer geschikt voor AI-ondersteunde softwareontwikkeling, omdat AI-gegenereerde output grondig kan worden gevalideerd op correctheid en betrouwbaarheid.
Krachten bundelen
Het partnerschap omvat een organisatiebrede inzet van Cocotec-tools binnen Sioux, het trainen van engineers en een verdere integratie van de tooling in ontwikkelprocessen. Daarnaast trekken beide bedrijven gezamenlijk op richting de markt, variërend van gezamenlijke leadontwikkeling tot wederzijdse aanbevelingen van Cocotec-tools en Sioux-specialisten. Dit opent nieuwe toepassingsgebieden en versterkt de ondersteuning van bestaande klanten.
Sioux heeft jarenlange ervaring in het modelleren en ontwikkelen van complexe systemen. Cocotec voegt daar een extra laag zekerheid aan toe met geautomatiseerde formele verificatie, een methode waarmee softwaregedrag mathematisch wordt gevalideerd voordat systemen operationeel worden. In combinatie met Sioux’ multidisciplinaire aanpak, waarin software, mathware, elektronica, mechatronica en assemblage samenkomen, ontstaat een geïntegreerde ontwikkelaanpak die risico’s verlaagt en innovatie versnelt.
'De complexiteit van moderne systemen groeit sneller dan traditionele ontwikkelmethoden aankunnen', zegt Ron Willems, Managing Director Development and Engineering bij Sioux Technologies. '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.'
Philippa Broadfoot, CEO van Cocotec, voegt toe: '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? Daarom hebben we Popili ontwikkeld. Toen we Sioux ontmoetten, herkenden we een partner met dezelfde compromisloze kwaliteitsstandaarden en engineeringmentaliteit. We kijken ernaar uit om onze krachten te bundelen en deze expertise wereldwijd naar klanten te brengen.'
Over Cocotec
Cocotec is in 2019 opgericht als spin-out van de University of Oxford en combineert toonaangevend onderzoek met industriële expertise om softwaretools te ontwikkelen voor bedrijven die wereldwijd betrouwbaarheid-kritische systemen bouwen. Het product Popili integreert formele verificatie in dagelijkse ontwikkelprocessen en helpt teams fouten te ontdekken die traditionele tests missen, ontwikkeltijden te verkorten en software betrouwbaarder te laten functioneren in productieomgevingen.
