Rust Search
Manuel Hatzl -- An open-source CLI tool written in Rust for managing traces, obtaining requirements coverage, and analyzing collected trace and coverage data to generate custom traceability reports. I created mantra as part of my master’s thesis in collaboration with Infineon Technologies AG to support the certification of their embedded Rust projects against Automotive SPICE. In addition to this focus on safety-critical Rust projects, the tool is generally designed to work with any programming
Player unavailable or embedding blocked? Use the YouTube link above.
The goal of gccrs is to add support for the Rust programming language to GCC, the GNU Compiler Collection. By being part of the GCC project, gccrs benefits from powerful optimizations and support for a wide range of architectures, as well as a full-fledged plug-in system that further extends Rust’s static safety promises.
Join Jonas Wolf (Vektor Informatik), Rolland Dudemaine (@TrustInSoft_Official), and Daniel Silverstone (Codethink) in this discussion on the role that Rust is playing in shaping software development in technology where safety is key to its function. This panel was record at Oxidize Conference 2025 in Berlin, Germany, hosted by @FerrousSystemsGmbH and @KDABtv.
