Version 2.1 (06.03.2025)

Version 2.1 des SIListra Safety Transformers wartet mit den folgenden Features auf:

  • Programmiersprachen
    • C23 Unterstützung (neu)
    • C++23 Unterstützung (neu)
      • C++ Templates
      • Klassen
      • Virtuelle Methoden
      • constexpr, consteval, and constinit
      • C++ concepts
    • Integerarithmetik
      • Alle Datentypen von bool bis 64-bit integer
      • Arithmetik
      • Vergleiche
      • Bitweise logische Operationen
    • Komplexe Datentypen
      • struct
      • Arrays
      • Zeigerarithmetik
    • Alle Kontrollflusskonstrukte
      • Funktionsaufrufe
      • Methodenaufrufe
      • Dynamische Funktionsaufrufe
      • if, for, switch, while, do-while
      • Funktionspointer
  • Multi-Threading Unterstützung (neu)
  • Automatische Stackgrößenberechnung (neu)
  • Kodierte Header mit Deklarationen der kodierten Funktionen (neu)
  • Stubgenerierung für nicht unterstützte Compiler "builtins" (neu)
  • Modulare Runtime (neu)
    • Setup des kodierten Kanals
    • Unterstützung für dynamischer Speicher für C und C++
    • Fehlermeldungen
    • Multi-Threading
    • assert und abort
    • Debugging
    • Stackprofiling
  • Automatische Verifikation mit dem Checker
  • Z10 Zertifikat vom TÜV SÜD (aktualisiert)
  • Nutzerhandbuch (aktualisiert)
  • Sicherheitshandbuch (aktualisiert)
  • Tutorials
    • cmake-Skript um den SIListra Safety Transformer auszuführen (neu)
    • Einstiegsbeispiel
    • Komplexes Beispiel inkl. Black-Channel-Merge, Testen und Fault Insertion
    • Multi-Threading Beispiel (neu)
    • Debugging Beispiel (neu)
      • Läuft auf Windows und Linux (auch im Docker container)
      • Generierter Code läuft überall (er ist plattform unabhängig)