SIListra
Die meisten der aktuellen Innovationen in der Industrie basieren auf Automatisierung und damit auf Computer-Technologie. Derzeitige Automatisierungssysteme realisieren die funktionale Sicherheit über die Architektur der Hardware (redundante Platinen/Chips). Diese Hardware-Lösungen werden in Zukunft nicht mehr ausreichen, um die Sicherheitsstandards zu erfüllen und/oder kostengünstig zu sein.
Szenario
Computer-Chips werden auf Grund abnehmender Strukturgrößen immer
unzuverlässiger und anfälliger
➨ Hoher Bedarf an zuverlässiger Erkennung von temporären und
permanenten System-Fehlern
➨ Der Anspruch an funktionale Sicherheit steigt stetig und wird in Standards wie IEC 61508 und ISO 26262 festgeschrieben
➨ Die Nachfrage nach kostengünstigen, universellen und flexiblen Lösungen ist ungebrochen
Lösung
Bereitstellung der funktionalen Sicherheit über Software auf der
Grundlage der Encoded Processing Technologie
➨ Flexibler und universeller Einsatz des SIListra Safety Compilers für alle existierenden und zukünftigen C/C++ Programme
➨ Automatische Transformation in sichere Programmvarianten
➨ Der Gesamtprozess ist sicherer und kosteneffizienter gegenüber einer Hardwarelösung und kann zertifiziert werden
SIListra Transformer
Nach der Anwendung des SIListra Transformers werden
Hardware-Ausfälle (und somit die fehlerhafte Berechnung der Software) zuverlässig erkannt. Im Fehlerfall werden geeignete Maßnahmen zur Aufrechterhaltung und Verbesserung der funktionalen Sicherheit einleitet.
Mehrwert
Die Lösung ist unabhängig von der Hardware. Anwendung auf ein breites Spektrum von sicherheitskritischen Programmen. Möglichkeit zur Konsolidierung von Systemen und Prozessen. Sicherheitskritische und sicherheitsunkritische
Softwareprogramme werden zusammen auf dem gleichen „unzuverlässigen“ Hardware-System ausgeführt. Kosteneinsparung. Effiziente Gesamtlösungen. Branchenneutraler Einsatz.
Herr Prof. Christof Fetzer, Herr Dr. Martin Süßkraut, Herr André Schmitt, Frau Ute Schiffel, Herr Michael Heuschkel
Institute for System Architectur