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

Paper #:
  • 2011-01-2505

Published:
  • 2011-10-18
DOI:
  • 10.4271/2011-01-2505
Citation:
Grymlas, J., Lüdders, H., Vredenborg, E., and Thielecke, F., "Design and Verification Approach for a Complex State-Based Fuel Cell Control System," SAE Technical Paper 2011-01-2505, 2011, doi:10.4271/2011-01-2505.
Pages:
11
Abstract:
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.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Technical Paper / Journal Article
2013-09-17
Training / Education
2013-04-09
Training / Education
2013-04-09
Technical Paper / Journal Article
2013-09-17
Technical Paper / Journal Article
2013-09-17
Standard
2012-05-03
Article
2016-12-08
Training / Education
2013-04-09
Technical Paper / Journal Article
2013-09-17