To help manage the growing complexity in high tech, Dutch systems house Sioux Technologies has entered into a strategic partnership with UK’s Cocotec. Through its Popili platform, the University of Oxford spinout provides tools for formally developing software, which the Eindhoven-based company integrates with other technologies into a complete end product. Together, the partners aim to speed up the development and increase the reliability of complex systems.
The collaboration 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 modeling and developing complex systems. Cocotec adds an additional layer of assurance through automated formal verification, a method that mathematically validates software behavior 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. “By structurally combining formal verification with systems 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.”
