Seat to meet in this August

WE CAN TELL YOU ABOUT THE SIOUX-CULTURE. HOW YOU CAN DEVELOP YOURSELF LIKE NOWHERE ELSE. BUT WE’D RATHER HAVE YOU SEE AND EXPERIENCE IT.

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.'