Our partners

Solid Sands is the world-leading provider of verification and qualification technology for C and C++ compilers and libraries.

The SuperTest Compiler Test and Validation Suite verifies C and C++ compilers and libraries. SuperTest is used worldwide by compiler developers for quality assurance and by safety-critical software developers to qualify third-party and open-source compilers following the most up-to-date functional safety standard requirements. SuperTest offers hand-crafted and generated test files, including millions of conformance tests to address quality and functional safety. It includes many tests aimed at compiler internals such as analyses, transformations and optimizations. SuperTest includes a powerful and flexible test platform. The configurable test driver seamlessly integrates with any compiler development environment and target processor. The test platform has extensive reporting tools to show traceability between the tests and the sections in the C and C++ language specifications. They provide evidence of the conformance of the compiler implementation and the completeness of the test suite.

The SuperGuard Library Safety Qualification Suite is a requirements-based test suite for the C and C++ standard libraries. It is used by application developers and tool suppliers to qualify third-party (COTS), open source and self-maintained library implementations for use in safety-critical applications. SuperGuard provides a detailed breakdown of the ISO C and C++ library specifications into testable requirements for the library implementation. The requirements have full traceability to test specifications and tests, as required by functional safety standards. The tests achieve high structural code coverage of the target library implementation, which demonstrates their completeness. SuperGuard includes a powerful and flexible test platform. It comes with a software tool that reports the requirements and test results. The configurable test driver seamlessly integrates with any development environment and target processor.

Rapita Systems develops on-target embedded verification software solutions for customers in the avionics and automotive electronics industries. Our tools help to reduce the cost of measuring, optimizing and verifying the timing performance and test effectiveness of their critical real-time embedded systems.

In recent years, we have been spearheading the development of efficient approaches to multicore avionics certification for high-integrity projects in line with A(M)C 20-193 or similar guidance. Rapita’s MACH178 provides an end-to-end solution for providing certification evidence to satisfy DO-178C and A(M)C 20-193 objectives.

Our verification tool suite, RVS , helps engineers in the aerospace and automotive industries meet the demanding verification requirements associated with ISO 26262 and DO-178B/C or equivalent military standards in systems ranging in complexity from simple cyclic systems up to ARINC-653 partitioned operating systems.

Providing on-target software verification for critical embedded systems, the Rapita Verification Suite (RVS) reduces effort needed to verify critical embedded software for functional testing , structural coverage, timing behavior and RTOS scheduling visualization.

MACH178 is Rapita’s solution for Multicore timing analysis providing execution time evidence for multicore systems. V-model process, our engineers investigate multicore systems and produce evidence about multicore timing behavior.

BUGSENG is member of the Arm Functional Safety Partnership Program: this program brings together companies specializing in functional‑safety tools and services to accelerate certification to standards like ISO 26262 and IEC 61508. As an Arm partner, BUGSENG’s ECLAIR suite supports Arm’s toolchains (Arm compiler 5 & 6, Keil µVision, Arm Development Studio) and is TÜV‑certified for functional‑safety use.

HighTec EDV Systeme the world’s largest commercial open source compiler vendor. HighTec ensures independence for the future and the most reliable and secure tools for embedded software development. The HighTec C/C++ compiler is portable and always available for the latest chip revisions for our supported architectures ahead of general release. PXROS-HR is HighTec’s ISO26262 ASIL-D / IEC61508 SIL-3 certified multi-core real-time operating system (RTOS) provides the highest level of data protection, functional safety and robustness. ECLAIR is fully compatible with HighTec toolchains.

Ac6 specializes in training for embedded systems, offering a broad range of courses in areas such as RTOS (including FreeRTOS and Zephyr), embedded security, programming languages, and Linux. Their hands-on trainings are designed for both beginners and advanced engineers, ensuring practical knowledge applicable to real-world scenarios. Additionally, Ac6 provides embedded development tools like the Zephyr Workbench, which support embedded system development with a user-friendly interface.

Bluewind is a recognized BUGSENG engineering partner, actively deploys ECLAIR tool to develop high-quality, high-reliabily software. By implementing static and MISRA code analysis, and by increasing the robustness of testing, a high software engineering standard is obtained especially in all those environments which must comply with Functional Safety norms, like IEC 61508 (Industrial Safety) or ISO 26262 (Automotive Safety). Bluewind usually works along with the customer team to integrate and deploy ECLAIR suite to obtain high reliability code in all mission critical and safety related projects.