Safety-Software-Engineering

Sicherheitssoftware zugeschnitten auf Ihre Maschine oder Sicherheitskomponente

Profitieren Sie durch unsere Erfahrung. Wir beraten und unterstützen Sie rund um den Software-Sicherheitslebenszyklus – Spezifikation, Codierung, Verifikation und Validierung.

Ob Sicherheitsspezifikation, Sicherheitscodierung, Softwareverifikation oder abschließende Validierungsplanung ihrer Maschine – wir unterstützen und beraten Sie als Maschinenbauer oder Hersteller von Sicherheitskomponenten bei Ihrem Safety Software Engineering Prozess und beraten Sie in der Umgebung des Software-Sicherheitslebenszyklus rund um die Sicherheitsgrundnorm IEC 61508. Dabei haben wir uns besonders auf Anwendungssoftware in der Umgebung der EN ISO 13849 und DIN EN 62061 spezialisiert.

Unser gemeinsames Ziel ist es, Software zu entwickeln, die nach dem derzeitigen Stand der Technik kein unvertretbares oder unverhältnismäßig hohes Gefährdungspotential für den Anwender oder die Umwelt darstellt.
Die Sicherheitsnormen beschreiben jedoch nur die Anforderungen an die Software sicherer Systeme. Es wird nicht beschrieben, wie diese durch eine geeignete Spezifikation erfüllt werden. Als Grundlage hierfür arbeiten wir nach bewährten Prozessen und Dokumentationsstandards rund um den Software-Sicherheitslebenszyklus.

Unser Team

Die Entwicklung von Sicherheitssystemen ist eine Frage der Erfahrung.

Mit unserem Team können wir umfangreiche Leistungen zu allen Phasen des Software-Sicherheitslebenszyklus anbieten. Hierbei profitieren Sie von der schnellen Realisierung auf Basis unserer umfassenden Dokumentationsstandards und Erfahrungen im Testbereich für die Automations- und Softwareentwicklung.

Unser Team hat langjährige Erfahrungen im Bereich der Entwicklung von Sicherheitssoftware und setzt sich aus Spezialisten unterschiedlicher Fachdisziplinen zusammen:

  • Safety- und Security-Spezialisten
  • Softwaretester
  • Ingenieure mit dem Schwerpunkt Automatisierung

Unsere Leistungen

Projektierung von Sicherheitssystemen mit sicherheitsbezogener Anwendungssoftware nach EN ISO 13849

Aufgrund der fortschreitenden Digitalisierung und der steigenden Anforderungen an Sicherheitssoftware können Sie von unseren Software-Entwicklungsprozessen profitieren, während Sie sich um die Hardware kümmern. Dabei integrieren wir die Sicherheitssoftware in Ihre Anlage und dokumentieren jeden Entwicklungsschritt. Wir begleiten und beraten Sie bis zur Endabnahme durch die Validierung Ihres Sicherheitssystems.

Hierbei bieten wir Ihnen die folgenden Dienstleistungen an:

  • Spezifikation der Sicherheitsfunktionen und Formulierung von technischen Maßnahmen nach der Risikoanalyse (mehr zu Risikoanalyse und Risikobeurteilung siehe: https://reinholz-sat.de/automation/safety/)
  • Dokumentation der strukturierten Entwicklung nach V-Modell der IEC 61508
  • Spezifikation der einzelnen Sicherheitsfunktionen und Formulierung von nachprüfbaren Requirements
  • Softwareplanung unter der Abstimmung mit Ihrer Elektrokonstruktion -> Beratung bei der Auswahl Ihrer Sicherheitskomponenten
  • Erbringung eines mathematischen Nachweises der Eignung über die Komponentenauswahl über SISTEMA
  • Verifikation und Validierungsplanung gegen die aufgestellten Requirements
  • Verifikation jedes Entwicklungsschrittes mittels VuV-Plan für die Sicherstellung der Rückverfolgbarkeit bzw. Traceability
  • Codierung der Sicherheitsfunktionen nach Herstellervorgaben des Steuerungsherstellers
  • Codereview mittels bewährter Codereview-Dokumente
  • Inbetriebnahme der Sicherheitsfunktionen an Ihrer Maschine
  • Softwarevalidierung inkl. Integrations- und Systemtests sowie Dokumentation der Ergebnisse
  • Unterstützung und Beratung bei der Durchführung der Validierung und Dokumentation der Validierungsergebnisse

Entwicklung und Verifizierung von sicherheitsgerichteten Funktionsbausteinen oder Herstellerbibliotheken

Durch die zunehmende Komplexität der Software im direkten Umfeld von Maschinen und die wachsenden Anforderungen seitens der Normen, insbesondere in der mobilen Automation, steigt der Bedarf an zertifizierten Softwaremodulen. Da die herkömmlichen zertifizierten Bibliotheken der Steuerungshersteller oft nicht ausreichen, um komplexere Sicherheitsfunktionen zu realisieren, unterstützen wir Sie bei der Entwicklung und Verifikation Ihrer sicherheitsgerichteten Funktionsbausteine. Nach erfolgreicher Verifizierung können Sie die entwickelten Funktionsbausteine in den Sicherheitssteuerungen genauso verwenden wie die von den Steuerungsherstellern gelieferten Funktionsbausteine.

Das Leistungsportfolio von REINHOLZ umfasst daher die kundenspezifische Entwicklung von sicherheitsgerichteten Softwaremodulen sowie die Erstellung von Moduldefinitionen und Verifizierungsdokumenten. Neu entwickelte Softwaremodule müssen oft von akkreditierten Stellen wie dem TÜV oder der Berufsgenossenschaft (BG) geprüft werden. Die mit unserer Hilfe entstehenden Verifizierungsdokumente dienen dem Zertifizierungsverfahren durch den TÜV oder die BG. Als Kunde werden Sie bis zur Endabnahme der Sicherheitssoftware begleitet und beraten.

Hierbei bieten wir Ihnen die folgenden Service- und Beratungsleistungen:

  • Unterstützung bei der Anforderungsanalyse und Formulierung von nachprüfbaren Requirements
  • Erstellen der sicherheitsgerichteten Modulspezifikation nach IEC 61508, EN ISO 13849 und DIN EN 62061
  • Testplanung spezifisch nach Sicherheitsanforderungsstufe oder Performance Level und dem verwendeten Sprachumfang
  • Codierung der sicherheitsgerichteten Softwaremodule / häufig eignen sich hier Zustandsautomaten
  • Code-Review / Statische Codeanalyse
  • Erstellung der Testfälle gegen die aufgestellten Requirements
    • Modellbasierte Testfallgenerierung -> siehe MBT-Tool „RSTmbTestGenerator“. Dieses Tool ist in das Testcenter integriert (siehe REINHOLZ-Testcenter und Modellbasierte Testfallgenerierung (Testfallgenerator RSTmbTestGenerator))
    • Manuelle Testfallerstellung durch erfahrene Softwaretester
  • Erstellung von Tests zur Erfüllung von Testzielen für sicherheitsgerichte Software mittels dynamischer Softwareanalyse
    • White Box:
      • Anweisungsüberdeckungstest C0
      • Zweigüberdeckungstest C1
      • Pfadüberdeckungstest C2
      • Bedingungsüberdeckungstest C3
        • C3a – Einfachbedingungsüberdeckungstest
        • C3b – Mehrfachbedingungsüberdeckungstest
        • C3c – minimaler Mehrfachbedingungsüberdeckungstest
    • Black Box:
      • Zustandsüberdeckung (All-States Coverage)
      • Zustandsübergangsüberdeckung (All-Transition Coverage)
      • Prüfung des funktionellen Verhaltens und der Leistungsfähigkeit (z. B. Zeitverhalten)
      • Testfallerstellung auf Basis von Grenzwertanalyse und Äquivalenzklassenbildung
  • Modultestimplementierung und Durchführung mit Testautomatisierungssystem aus dem Produktportfolio des REINHOLZ-Testcenters (REINHOLZ-Testcenter)
  • Modultestdokumentation
  • Verifikation des Modultestes
  • Entwicklung und Dokumentation von Bibliotheken aus verifizierten Softwaremodulen
  • Schulung Ihrer Softwareentwickler für die Entwicklung von sicherheitsgerichteten Softwaremodulen

Vorteile

Bewährte Dokumentation, Codierungs- und Verifikationsstandards

Wir haben eine Vielzahl verschiedener sicherheitsgerichteter Softwaremodule und Sicherheitssysteme erfolgreich verifiziert und validiert. Mit dem Know-how unserer Abteilung für Sicherheitstechnik und der Testabteilung unterstützen wir unsere Kunden und ergänzen die betriebsinterne Testabteilung auf Kundenseite.

Begrenzte Ressourcen und Kapazitäten auf Ihrer Seite können durch unsere Dienstleistungen einfach erweitert und flexibel genutzt werden.

Darüber hinaus bieten wir Ihnen weitere Vorteile

  • Verwendung von bewährten Dokumentationsstandards und VuV-Dokumenten zur Rückverfolgbarkeit der Entwicklungsschritte
  • Erfahrung mit einer Vielzahl von Sicherheitssteuerungen
  • Entwickeln von sicherheitsgerichteten Funktionsbausteinen nach PLCopen-Spezifikation und eigenen Spezifikations-Standards
  • Outsourcing der Testabteilung -> Erreichung von Unabhängigkeitsgraden bei der Entwicklung
  • Die Testtiefe wird dabei spezifisch auf Ihre Maschine abgestimmt
  • Unterstützung von Herstellern für Software, Steuerungen/SPS, Komponenten, Maschinen und Anlagen sowie Fahrzeugen
  • Nutzen Sie unsere Testwerkzeuge aus dem REINHOLZ-Testcenter und profitieren Sie von Testfallgenerierung sowie Testautomatisierung

Ihre Benefits

Machen Sie aus einem vermeintlichen Kostenfaktor einen Sicherheitsfaktor!

Befreien Sie Ihre Entwickler von unbeliebten Spezifikations- und Dokumentationsaufgaben und profitieren Sie von bewährten, strukturierten Entwicklungsprozessen im Sicherheitslebenszyklus. Die Vorteile kommen an vielen Stellen zum Tragen. Automation verbessert wiederholte Abläufe, dies gilt insbesondere beim automatisierten Testen.

Wir halten Werkzeuge für die Spezifikation, für die Requirement-Verwaltung, automatische Testfallgenerierung, über die automatische Testdurchführung, bis hin zur automatischen Testreportgenerierung für Sie bereit

  • Fehlervermeidung durch erfahrene Safety Softwareentwickler
  • Bewährte Dokumentationsstandards
  • Eine Vielzahl bereits verifizierter Softwaremodule
  • Strukturen und Werkzeuge für die Requirementverwaltung
  • Automatische Testprotokollierung mit hoher Zuverlässigkeit und Reproduzierbarkeit
  • Entwickeln von sicherheitsgerichteten Safety-Funktionsbausteinen nach PLCopen-Spezifikation
  • Unterstützung bei der Zertifizierung durch den TÜV für die Verwendung in Safety-Applikationen
  • Komplettservice von der Testspezifikation bis zum Testreport
  • Ausführliche kundenspezifische Dokumentation
  • Automatisierte Unittests
  • Sehr hohe Testabdeckung (Coverage) bis hin zur Mehrfachbedingungsüberdeckung
  • Hohe Testqualität durch Automatisierung
  • Geringe Testkosten

Ihr Ansprechpartner

Kontaktieren Sie uns. Wir freuen uns auf Ihren Anruf!

Besprechen Sie mit erfahrenen Fachleuten Ihr Anliegen. Wir erörtern mit Ihnen gemeinsam die nächsten Schritte und finden eine optimale Lösung für Sie.