Design and Verification Approach for a Complex State-Based Fuel Cell Control System

Fachgebiet:

Elektrische Energieversorgung und Brennstoffzelle

Jahr:

2011

Monat:

October

Art der Publikation:

Paper

Autoren:

Jan Grymlas, Hauke Peer Lüdders, Enno Vredenborg, F. Thielecke

Buchtitel:

SAE 2011 AeroTech Congress & Exhibition, October 2011

Vollständiges PDF:

Herunterladen

This paper presents a model-based design and verification approach, which is used to develop a complex state-based fuel cell control system. The architecture of the control system is organized in a hierarchical manner with one supervisory controller and several system controllers. The used development approach considers the systematic design of this hierarchical concept and enables the integration of requirements. The single modules of the control system are modeled as Statecharts. During the design process a method based on Petri Nets is used to analyze and verify the state-based structure of the supervisory controller. The verification of the control system functionalities is finally realized by a black box test approach. The required test sequences are systematically specified on the basis of the state transition graph of the supervisory controller.