Silistra
Absicherung gegen zufällige Fehler
Komplexe Sicherheitsfunktionen, beispielsweise aus Sensorik, Motion und Robotik nach der ISO 13849 und der IEC 61508, benötigen hochgenaue Fließkommaoperationen. Der 'Safety Transformer 3.0.0' ermöglicht laut Anbieter Silistra erstmals die Absicherung gegen zufällige Fehler von Sicherheitsanwendungen mit Fließkommaarithmetik.
Dies ermöglicht es, komplexe Sicherheitsfunktionen auf Standard-Hardware und auch virtualisiert auszuführen. Das Tool unterstützt 32 Bit und 64 Bit Fließkommaoperationen gemäß IEEE 754 nach neuesten C/C++-Sprachstandards. Eine weitere Charakteristik komplexer Sicherheitsanwendungen ist ihre Modularität: Eine Sicherheitsanwendung besteht aus mehreren getrennt voneinander entwickelten Softwarekomponenten (zum Beispiel Safety-Stacks und Bildverarbeitungsalgorithmen). Mit dem Safety Transformer können Anwender einzelne Komponenten unabhängig voneinander mit Coded Processing absichern. Dies ermöglicht es Anwendern, teamübergreifend zu entwickeln und zu verifizieren. So können verifizierte Softwarekomponenten leicht zu neuen Anwendungen kombiniert werden.










