Solid Sands and BUGSENG Successfully Complete Library Qualification Project for Leading Space Systems Provider MDA Space

Amsterdam, 22nd July 2026 — Solid Sands, the leader in C and C++ compiler and library qualification solutions, and its partner BUGSENG, a specialist in automated software verification, today announced the successful completion of a library qualification project for MDA Space, a trusted mission partner to the rapidly expanding global space industry.

This qualification supports MDA Space on the design of MDA SKYMAKER™. The team continues to execute as planned toward final designs for the advanced robotic arm system.

The collaboration combined Solid Sands’ expertise in software library qualification and test suite technology with BUGSENG’s advanced static analysis capabilities and MISRA compliance expertise. The resulting integrated solution provides MDA Space with rigorous qualification verification for its mission-critical software.

Focused on the demanding requirements of space applications, the project delivered comprehensive verification, detailed evidence, and traceability documentation to support the customer’s strict software assurance activities. By combining complementary technologies, the project achieved a qualified software library baseline that strengthens deployment confidence.

“This project demonstrates the value of combining specialized expertise to solve complex qualification challenges,” said Marianne Damstra, CEO at Solid Sands. “Working closely with BUGSENG enabled us to deliver an integrated solution that met the exceptionally high standards expected in the space industry.”

“Qualifying software for space requires a clear compliance strategy and rigorous, defensible evidence,” said Roberto Bagnara, Functional Safety Expert at BUGSENG. “Our collaboration with Solid Sands perfectly blended our respective strengths. Integrating our functional safety tools and expertise with Solid Sands’ robust qualification methodologies allowed us to ensure that every critical component achieved verifiable assurance.”

This successful engagement reinforces the commitment of both Solid Sands and BUGSENG to supporting organizations developing software for safety- and mission-critical systems through proven methodologies and close technical collaboration.

Since Amsterdam’s earliest days, its buildings have stood on deep foundation piles – driven through clay and peat to reach solid sand. At Solid Sands, we take the same approach to software reliability. Our mission is to ensure that safety-critical software is built on a solid foundation. Our world runs on code, powering everything from medical robotics and autonomous vehicles to aerospace systems and railway networks. But software is only as strong as the trust behind it. That’s why we created SuperTest™ and SuperGuard™, the world’s most rigorous compiler validation and library test suites. By eliminating uncertainty and ensuring quality, we give our clients more than just testing tools; we give them Confidence by Design. More information on the company’s products and services is available at www.solidsands.nl/news2026.You can follow Solid Sands on LinkedIn and YouTube.

BUGSENG delivers software verification technology and consulting expertise for organizations developing safety-, security- and mission-critical systems. Its ECLAIR  Software Verification Platform® is a state-of-the-art static analysis suite for C and C++, supporting accurate and reliable MISRA and functional safety compliance. Drawing on its participation in the MISRA C and MISRA C++ working groups and on extensive experience in qualifying existing software under functional safety standards, BUGSENG helps engineering teams strengthen their development processes and build a trusted toolbox for certification and continuous qualification through tools, qualification solutions, consulting, and training. For more information browse this website. You can also follow BUGSENG on LinkedIn and YouTube.