References

Extraction from completed projects (since 2019)

Jun-2024 – Mar-2025: Robust Safety Software Solutions for Fuel Cell Control

Copyright by HYDAC International GmbH

Time period: Jun-2024 – Mar-2025
Customer: GLOBE Fuel Cell Systems GmbH
Industry: Renewable Energy
Contents:

  • Requirements Engineering for Safety Function Modules
    • Analysis and formalization of requirements using a defined pattern to ensure 100% verifiability
    • Validation of formalized requirements for consistency and completeness using MATLAB®  Requirements Verifier
    • Automated Stateflowâ unit generation based on formalized requirements with MATLAB® Requirements Verifier
  • Design and Implementation
    • Development of application software architecture
    • Integration of generated units in Simulink® overall model
  • Unit testing of Safety Function Modules
    • Specification of unit tests with MATLAB® Model Tester
    • Execution of reproducible regression tests (Model-in-the-Loop)
    • Automated generation of detailed and summary reports using MATLAB® Model Tester
  • Toolchain optimization for configuring calibratable parameters for production code generation within the HYDAC software environment MATCH® for safety electronic control unit TTC 2380
  • Process Documentation aligned with DIN EN ISO 13849