Referenzen

Auszug abgeschlossener Projekte (seit 2019)

Jun-2023 – Mär-2025: Robuste Sicherheitssoftware für Brennstoffzellenregelung

Copyright by HYDAC International GmbH

Zeitraum: Jun-2024 – Mär-2025
Kunde: GLOBE Fuel Cell Systems GmbH
Branche: Erneuerbare Energieen
Inhalt:

  • Anforderungsmanagement für Sicherheits-Funktionsmodule
    • Analyse und Formalisierung von Anforderungen nach definiertem Muster, um 100% Verifizierbarkeit zu gewährleisten
    • Verifizierung der formalisierten Anforderungen hinsichtlich Konsistenz und Lückenlosigkeit mit MATLAB® Requirements Verifier
    • Automatisierte Generierung von Stateflow®-Modellen basierend auf den formalisierten Anforderungen mit MATLAB® Requirements Verifier
  • Entwurf und Implementierung
    • Entwicklung der Architektur für die Applikations-Software
    • Integration der generierten Sicherheits-Funktionsmodule in einem Simulink®-Gesamtmodell
  • Unit Test der Sicherheits-Funktionsmodule
    • Spezifikation von Unit Tests mit MATLAB® Model Tester
    • Durchführung reproduzierbarer Regressions-Tests (Model-in-the-Loop)
    • Automatisierte Generierung von Detail- und Übersichts-Dokumenten mit MATLAB® Model Tester
  • Optimierung der Werkzeugkette zur Konfiguration von kalibrierbaren Parameter zur Autocodegenerierung in der HYDAC Software Umgebung MATCH® für das sicherheitsrelevante Steuergerät TTC 2380
  • Prozessdokumentation angelehnt an die Norm DIN EN ISO 13849