Version 2.1 of the SIListra Safety Transformer offers the following features:

• Programming language support
  • C23 support (new)
  • C++23 support (new)
    • C++ templates
    • Classes
    • Virtual methods
    • constexpr, consteval, and constinit
    • C++ concepts
  • Integer arithmetic
    • All data types from bool to 64-bit integer
    • Arithmetic
    • Comparisons
    Bit-wise logical operations
  • Complex data types
    • struct
    • Arrays
    • Pointer arithmetic
  • All control flow constructs
    • Function calls
    • Method calls
    • Dynamic function calls
    • if, for, switch, while, do-while
    • Function pointers
• Multi-threading support (new)
• Automatic stack size calculation (new)
• Encoded Header with declaration of encoded functions (new)
• Stub generation for unsupported compiler builtins (new)
• Modular runtime library (new)
  • Setup of the encoded channel
  • Support for dynamic memory management in C and C++
  • Multi-threading
  • Error reporting
  • assert and abort
  • Debugging
  • Stack profiling
• Automatic verification with the Checker
• Z10 certificat from TÜV SÜD (updated)
• User manual (updated)
• Safety manual (updated)
• Tutorials
  • cmake-script to execute the SIListra Safety Transformer (new)
  • Simple example
  • Full example incl. black-channel-merge, testing and fault insertion
  • Multi-threading example (new)
  • Debugging example (new)
• Runs on Windows and Linux (also in Docker)
• Generated code runs anywhere (plattform independent)