Unsere Zusammenarbeit mit dem ISW im Rahmen des Forschungsprojektes SafeFloat konnten wir Ende Juni dieses Jahres erfolgreich beenden. Nachdem wir uns in diesem Jahr bereits in Rahmen einer Praktikumsarbeit mit der Programmiersprache Rust auseinandergesetzt haben, geht es in einem neuen Kooperationsprojekt um die „Entwicklung einer Rust-Unterstützung für Coded Processing“.

Rust, eine moderne Sprache mit C/C++-ähnlicher Syntax, wird zunehmend wichtiger, da sie systematische Softwarefehler im Entwicklungsprozess effizient meldet. Dadurch entfallen zusätzliche Tools und Prozesse, die bei C/C++ notwendig sind. In Kombination mit Coded Processing könnten damit sowohl zufällige als auch systematische Fehler vermieden werden. Der SIListra Safety Transformer unterstützt Rust noch nicht, weshalb im vorliegenden FuE-Projekt die Unterstützung von Rust untersucht werden soll. Ziel ist es, dass der SIListra Safety Transformer ein Werkzeug zur Aufdeckung von zufälligen und systematischen Fehlern wird.

Weitere Details finden Sie auf der Projekt-Homepage beim ISW.