Design and Verification Approach for a Complex State-Based Fuel Cell Control System
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.