SAFE4I
Sicherer Automatischer Software-Entwurf für Industrieanlagen
Start: 10.2017
Ende: 12.2021
Industrie 4.0 und das Internet der Dinge (Internet of Things, kurz: IoT) stellen fortlaufend neue Ansprüche an Softwaresysteme in der industriellen Fertigung. Gleichzeitig fordern Industriestandards zur funktionalen Sicherheit (Safety) gesamtheitliche Absicherungskonzepte, die sowohl die Absicherung der gesamten Automatisierungslösung als auch einzelner Komponenten und Teilsysteme bedingen.
Das SAFE4I-Projekt reagiert hierauf mit einem teilautomatisierten, modellbasierten Entwicklungsprozess, um das Entwerfen funktional sicherer Software zu beschleunigen und den benötigten Aufwand zu senken. Dabei werden alle Softwareteile miteinbezogen, die nötig sind, um kundenspezifische Automatisierungslösungen zu realisieren. SAFE4I stellt sowohl für Endanwender und Komponentenlieferanten als auch für Werkzeuganbieter einen Qualitäts- und Kostenhebel dar. Die Lösung sieht eine strikte Trennung zwischen dem Entwurf der geforderten Software-Funktionalität und den Maßnahmen zur Software-Absicherung sowie dem teilautomatisierten Einbau von Absicherungsmechanismen vor.
Zu diesem Zweck entwickelt das FZI einen Entwurfsprozess und Werkzeugunterstützung zur Softwaremodellierung mittels UML. Dies umfasst Ansätze zur Template-basierten Modellierung von Safety-Mechanismen, Model-to-Model-Transformationen zur automatisierten Einbringung von Safety-Mechanismen sowie Ansätze zur Generierung der finalen sicheren Software.
Kerninnovation bildet das sogenannte Universal Safety Format (USF), welches ermöglicht, Sicherheitsmechanismen unabhängig des Systemspezifikationsformats, z.B. Quellcode oder UML-Modelle, einzubringen. Ziel ist die generalisierte Spezifikation und Einbringung von Sicherheitsmechanismen entlang des Entwicklungsprozesses. Dies erhöht die Wiederverwendbarkeit und trägt somit maßgeblich zu einer Reduktion des Aufwandes zur Spezifikation und Einbringung von Sicherheitsmechanismen bei.
Forschungsschwerpunkt
Safety, Security and the Law
Im Forschungsschwerpunkt „Safety, Security and the Law“ setzt das FZI im Jahr 2021 den Fokus auf die Themen Resilienz für kritische Infrastrukturen, Managing Security, Legal Tech, (Post)-Quantenkryptographie sowie die wechselseitige Beeinflussung von Künstlicher Intelligenz zu Safety und Security.

Förderhinweis:
Das Projekt SAFE4I wird vom Bundesministerium für Bildung und Forschung gefördert.
Projektpartner:
Weitere Projekte
ThinKIsense
Ressourceneffiziente Thin-Edge-Systeme durch integrierte KI und neuromorphe Elektronik in Sensoren
Mittelstand-Digital Zentrum Klima.Neutral.Digital
Die Herausforderungen durch den Klimawandel aktiv angehen und als Chance für die deutsche Wirtschaft nutzen.
ZAUber
Zwischen Autonomie und Überwachung – Arbeitnehmer*innen-orientierter Einsatz von People Analytics in Präsenz- und Fernarbeit
HoLLiECares
Multifunktionaler Serviceroboter zur Unterstützung professioneller Pflege in Krankenhäusern
UNCOVER
Mehr Sicherheit durch kontinuierliches Monitoring von Sicherheitsvorfällen autonom agierender Fahrzeuge
Delfine
Dynamisches Demand-Response-System für eine nachhaltige Fertigung durch informationstechnische Vernetzung zur effizienten Energienutzung, -vermarktung und -erzeugung
FZI House of Participation
Das House of Participation stellt die digitalen Bürger*innenbeteiligung in den Mittelpunkt.
LogIKTram
Logistikkonzept sowie IKT-Plattform für einen zukünftigen Gütertransport in Straßenbahn- und Stadtbahnwagen
Smart East
Smarte Energieversorgung im Karlsruher Osten: Ein Leuchtturmprojekt der TechnologieRegion Karlsruhe
KIGLIS
Verfahren der Künstlichen Intelligenz für die Optimierung der Glasfasernetze am Beispiel einer intelligenten Stadt
KIsSME
Künstliche Intelligenz zur selektiven echtzeitnahen Aufnahme von Szenarien- und Manöverdaten bei der Erprobung von hochautomatisierten…
EVA-Shuttle
Vernetzte und automatisiert fahrende Mini-Busse für die letzte Meile von der Haltestelle bis zur Haustür
SEAMLESS
Simulationsgestützte, assistenzsystem-basierende Engineering- und Maintenance-Dienstleistungen für Lean Aftersales-Services
Embedded Neuro Vision
Entwicklung eines datensparsamen und datenschutzkonformen Smart-Care-Systems durch Einsatz neuromorpher Vision-Sensoren
Smart Load
Neue Methoden zur Zuverlässigkeitssteigerung von hochautomatisierten elektrischen Fahrzeugen
Drive2theFuture
Needs, wants and behaviour of „Drivers“ and automated vehicles users today and into the future