Sioux and Cocotec enter strategic partnership to accelerate the development of reliable high-tech systems
Cocotec has entered into a strategic partnership with the Dutch high-tech company, Sioux Technologies.
Cocotec has entered into a strategic partnership with the Dutch high-tech company, Sioux Technologies, to accelerate the development of reliable high-tech systems. This collaboration responds to a clear industry trend: systems are becoming increasingly complex, software-driven, and mission-critical.
To help manage this growing complexity, we are partnering with Sioux to combine our expertise. We provide software tools for formally verifying, debugging, and developing high quality reliable software through our 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 our technology are already achieving efficiency gains of 25 to 50%, as upfront verification helps eliminate costly surprises during testing, integration, and later development stages. Popili is also uniquely positioned to support AI-enabled software development by ensuring that untrusted output can be rigorously checked to ensure correctness.
Combining strengths
This partnership includes organization-wide deployment of Popili 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. We add 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 Sioux Technologies
Sioux Technologies is a strategic high-tech solutions partner with more than 1,200 engineers worldwide. The company develops, realizes, and industrializes complex systems and acts as an extension of the R&D departments of leading OEMs. Sioux combines multidisciplinary expertise to ensure systems perform as intended, from initial concept through to series production.
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.