New tests for safe Rust libraries in Solid Sands, Hightec EDV deal

HighTec EDV-Systeme and Solid Sands have recently entered into a strategic partnership aimed at enhancing the safety qualification testing for automotive Rust code. This collaboration combines HighTec’s expertise in automotive-grade compiler technology for Rust and C/C++ with Solid Sands’ proficiency in library qualification for the Rust core library.

The utilization of Rust in automotive software development is gaining momentum due to its ability to enhance memory safety, ensure interoperability with legacy C/C++ code, and improve productivity in developing safety-critical code for embedded systems.

Sjoerd van der Zwaan, Chief Product Officer at Solid Sands, expressed excitement about the collaboration, stating, “We’ve seen a significant increase in demand for Rust, with many customers actively inquiring about our support for Rust toolchain qualification. We’re thrilled to work together with HighTec on Rust toolchain qualification to meet the industry’s evolving needs.”

HighTec offers a comprehensive Rust and C/C++ toolchain solution with automotive-grade long-term availability and ISO 26262 ASIL D qualifications. Solid Sands brings its established methodologies and test suites for rigorous software verification to the partnership.

The safety qualification of the core library involves the development of new tests and the enhancement of existing ones, focusing on requirements traceability and complete code coverage. This integration into Solid Sands’ SuperGuard Library Safety Qualification Suite ensures compliance with automotive requirements and facilitates collaboration with automotive customers.

• Compiler port to ST Stellar, Infineon Aurix automotive microcontrollers
• Vector teams for Rust
• MISRA-C 2025 launches

The strategic use of Rust in automotive software development addresses challenges related to functional safety, security, and system complexity. Rust’s compile-time memory safety, efficiency, security features, and productivity benefits make it a suitable choice for automotive applications, especially when incrementally integrated with legacy C/C++ code.

Mario Cupelli, CTO of HighTec EDV Systeme, emphasized the commitment to innovative open source solutions, stating, “This collaboration with Solid Sands underscores our dedication to providing automotive-grade solutions to the Rust ecosystem. The qualification framework enables automotive customers to seamlessly combine legacy C/C++ code with Rust and its core library.”

For more information, visit hightec-rt.com/rust and solidsands.nl/products/superguard.