Das Forum Safety & Security 2022

10. August 2022, 19 Bilder
Verifikation Diversitärer Programme
© Computer&Automation

22. September, 11:00 - 11:30 Uhr mit Dr. Andreas Ecke, SIListra Systems

Verifikation Diversitärer Programme

Diversität bezeichnet die Ausführung verschiedener Arten des gleichen Programmes, um positive Eigenschaften der Varianten zu kombinieren. Im Folgenden möchten wir uns auf die automatische Generierung eines zweiten Kanals aus dem ursprünglichen "nativen" Kanal beschränken.

Im Bereich der funktionalen Sicherheit kann die regelmäßige Überprüfung der Zwischenergebnisse der diversitären Kanäle Unterschiede, und damit potentielle Fehler, in einem der Kanäle aufdecken; ab bestimmten Sicherheitsanforderungsstufen ist eine gewisse Diversität unumgänglich. Doch auch im Bereich Security kann Diversität genutzt werden, um Änderungen durch Angriffe zu detektieren.

Die Verwendung automatisch erzeugter diversitärer Kanäle macht eine vollständige Verifikation des Programms jedoch deutlich schwieriger, insbesondere für White-Box Modultests mit ausreichender Codeabdeckung, wie sie etwa in der IEC 61508 und ihrer Tochternormen gefordert sind. Je nach Art der Diversität, die durch die automatische Codeerzeugung in die zusätzlichen Kanäle eingebracht wird, sind manuelle Tests für den diversitären Kanal nicht mehr umsetzbar.

In diesem Vortrag möchten wir eine Lösung zur Verifikation automatisch erzeugter diversitärer Kanäle präsentieren, am Beispiel von Coded Processing. Damit können durch Anwendung des Codegenerators auf zusätzliche Wrapperfunktionen die Tests des nativen Kanals automatisch auch auf den erzeugten diversitären Kanal angewendet werden.

Mehr zum Forum und zur Anmeldung

Neueste Bilderstrecken

Das Ergebnis für das vierte Quartal des Geschäftsjahres 2022.
© Siemens

17. November 2022, 5 Bilder

Siemens Quartalszahlen Q4/2022

Siemens Quartalszahlen Q4/2022

Endlich wieder Messe! Besucher strömen zur SPS 2022!
© Uwe Niklas/WFM

10. November 2022, 20 Bilder

SPS 2022 - Die Messe in Bildern

SPS 2022 - Die Messe in Bildern

Eine der ungewöhnlichsten Normen ist die ISO 3103 und befasst sich mit der Frage, wie eine perfekte Tasse Tee zubereitet wird.
© Karl-Josef Hildenbrand/dpa

10. Oktober 2022, 5 Bilder

Kuriose Normen

Kuriose Normen von Tee bis Ton

Das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen.
© Sina Schuldt/dpa

4. Oktober 2022, 9 Bilder

DFKI in Bremen eröffnet

Ein Schild steht vor dem Neubau des Deutsches Forschungszentrum für…

Ungenutze Smartphones am Boden
© Lisa Ducret/dpa

1. August 2022, 4 Bilder

»Vater des Telefons«

Vor 100 Jahren starb Alexander Graham Bell

WEKA Ad Award 2022 – Automation
© Sigmatek

17. Mai 2022, 25 Bilder

WEKA Ad Award 2022 – Ausgezeichnete Motive

Ausgezeichnete Anzeigen des WEKA Ad Award 2022

Siemens Q2/2022
© Siemens

12. Mai 2022, 7 Bilder

Siemens Quartalszahlen Q2/2022

Siemens Quartalszahlen Q2/2022

Guangzhou Guangya Messe Frankfurt Co Ltd
© Guangzhou Guangya Messe Frankfurt Co Ltd

27. März 2022, 23 Bilder

Impressionen der SIAF 2022 in Guangzhou

Die chinesische Ausgabe der SPS zeigte neben Antrieben und Sensoren…

Die Firma Rotte baut Pressen, die unter Druck und Temperatur einzelne Werkstoffblätter zu mehrlagigen Leiterplatten für die Elektronikindustrie laminieren.
© Shutterstock

10. März 2022, 6 Bilder

Dezentrale Antriebstechnik

Der Blick in den Maschinenbau zeigt, wie sich mit dezentraler Technik…

Alle Bilder