Our collaboration with ISW on the SafeFloat research project was successfully completed at the end of June this year. Having already explored the Rust programming language as part of an internship project this year, a new collaboration project is now focusing on the “Development of Rust support for Coded Processing”.

Rust, a modern language with C/C++-like syntax, is becoming increasingly important because it efficiently reports systematic software errors in the development process. This eliminates the need for additional tools and processes that are necessary with C/C++. In combination with Coded Processing, this could prevent both random and systematic errors. The SIListra Safety Transformer does not yet support Rust, which is why this R&D project aims to investigate Rust support. The goal is for the SIListra Safety Transformer to become a tool for detecting random and systematic errors.

See also the project homepage at ISW (in German).