Rusts Verfolgung von Ada: Ein Kampf im sicherheitskritischen Programmieren
2025-02-10
Ada dominiert den Bereich der sicherheitskritischen Programmierung seit über vier Jahrzehnten. In den letzten zehn Jahren hat Rust versucht, zu konkurrieren, mit unterschiedlichen Ergebnissen. Dieser Vortrag wird die leistungsstarken Funktionen von Ada zur Gewährleistung fehlerfreien Codes untersuchen, insbesondere seine robusten Subtyp-Deklarationen und Benutzerfreundlichkeit, und sie mit den Fähigkeiten von Rust vergleichen, wobei die Schwächen von Rust und seine Fortschritte beim Aufholen von Ada hervorgehoben werden.
Entwicklung
Sicherheitskritische Programmierung