|
|
|
PROFIsafe
PROFIsafe ist das Profil zur Übertragung sicherheitsgerichteter Daten über PROFIBUS und PROFINET und ist in der IEC 61784-3 standardisiert. Zur Unterstützung von Herstellern und Anwendern ernennt die Profibus Nutzerorganisation (PNO) offizielle PNO Competence Center. Das Competence Center am ifak ist akkreditiert für PROFIBUS, PROFINET und PROFIsafe. Durch aktive Mitarbeit in Gremien wie der DKE und der PNO wird eine kontinuierliche Expertise auf dem Gebiet der funktional sicheren Kommunikation gewährleistet.
Zertifizierungstest
ifak ist offizielles Prüflabor der PNO für PROFIsafe Geräte. Die durch das ifak-Prüflabor erstellten Prüfberichte sind Bestandteil der Zertifizierungsprozeduren bei PNO, TÜV und BGIA.
Entwicklungssupport
Das ifak Competence Center bietet Entwicklungsunterstützung für PROFIsafe-Geräte an. Zu den angebotenen Leistungen gehören:
• Schulungen und Expertengespräche,
• Integration von PROFIsafe Stacks in Geräte,
• Integration von Kommunikations-Stacks (z. B. PROFIBUS DP oder PROFINET IO) und
• Begleitung der Zertifizierung nach IEC 61508 bei Zertifizierungsstellen (TÜV, BGIA).
Lösungen
Auf der Basis von UML-Spezifikationen wird modulare PROFIsafe-Software entwickelt:
• Generierung von Stacks für F-Hosts und modulare F-Devices
• Portierung auf embedded Target Systeme.
• Animation der Zustandsmaschinen unter Nutzung des Tools Rhapsody in UML
• Entwicklung des offiziellen F-Host-Test Tools für den Zertifizierungstest der PNO
Entwicklungsmethodik
Ein Schwerpunkt der methodischen Arbeiten ist die Nutzung von UML in Softwareentwicklungsprozessen nach IEC 61508 für sicherheitskritische Systeme. Für die PROFIsafe Spezifikation V1.3 und V2.4 wurden folgende Vorgehensweisen untersucht:
• Modellierung der F-Host und F-Device Zustandsmaschinen in UML-State Machines
• Validierung der vorhandenen Spezifikation (PC Simulation)
• Implementierung durch C-Code Generierung (F-Host / F-Device auf PC / Embedded Target)
• Integration in Geräte (Steuerung, Feldgeräte)
• automatische Testfolgenableitung auf Basis eines UML Modells
• Framework für Testfolgenabarbeitung (F-Host Test)
Forschungsaktivitäten
Aktuell werden folgende Forschungsprojekte mit PROFIsafe-Bezug bearbeitet:
• Virtual Automation Networks "VAN"
• SafetyRadio
Evaluierungsplattform
Das PROFIsafe Competence Center am ifak betreut den PROFIsafe Demonstrator der PNO. Die PROFIsafe Installation wird im Rahmen der Forschungs- und Projektarbeit sowie zu Ausbildungszwecken, z.B. für Schulungen und Workshops, wissenschaftliche Untersuchungen, Diplomarbeiten oder Demonstrationen in Vorlesungen und Seminaren genutzt. Daneben steht der Demonstrator den PNO-Mitgliedern für eigene Untersuchungen und Schulungen zur Verfügung.
|
|
