Press release
Sioux Technologies and British software company Cocotec have entered into a strategic partnership to make high-tech systems more reliable and predictable. The collaboration responds to a clear industry trend: systems are becoming increasingly complex, software-driven, and mission-critical.
To help manage this growing complexity, Sioux and Cocotec are combining their expertise. Cocotec provides software tools for formally verifying, debugging, and developing high quality, reliable software through its platform Popili, while Sioux integrates these technologies into the design and realization of complete high-tech systems. This enables software to be developed not only faster, but also with demonstrably higher reliability in practice, which is essential in environments where errors are not an option.
Customers using this technology are already achieving efficiency gains of 25 to 50%, as upfront verification helps eliminate costly surprises during testing, integration, and later development stages. The platform is also well-positioned to support AI-enabled software development, as AI-generated output can be rigorously validated to ensure correctness and reliability.
Combining strengths
The partnership includes organization-wide deployment of Cocotec tools across Sioux, training of engineers, and deeper integration of the tooling into development processes. The two companies will also jointly approach the market, ranging from lead development to cross-referrals of Cocotec tools and Sioux specialists. This opens new application areas while strengthening support for existing customers.
Sioux has many years of experience in modelling and developing complex systems. Cocotec adds an additional layer of assurance through automated formal verification, a method that mathematically validates software behaviour before systems go into operation. Combined with Sioux’s multidisciplinary approach, bringing together software, mathware, electronics, mechatronics, and assembly, this creates an integrated development approach that reduces risk and accelerates innovation.
'The complexity of modern systems is growing faster than traditional development methods can handle', says Ron Willems, Managing Director Development and Engineering at Sioux Technologies. 'By structurally combining formal verification with system architecture and integration, we can ensure reliability from the very beginning. That makes the difference between systems that work and systems that demonstrably continue to work.'
Philippa Broadfoot, CEO of Cocotec, adds: 'Our mission is to solve a problem that has challenged software development for decades: how do you deliver complex software quickly while being certain that it actually works? That is why we developed Popili. When we met Sioux, we recognized a partner with the same uncompromising quality standards and engineering mindset. We look forward to joining forces and bringing this expertise to customers worldwide.'
About Cocotec
Launched in 2019 as a spinout from the University of Oxford, Cocotec combines cutting-edge research with industrial expertise to develop software tools for companies building reliability-critical systems worldwide. Its product, Popili, integrates formal verification into everyday development workflows, helping teams catch errors that testing misses, accelerate delivery, and ensure software works reliably in production.
