This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Design and Verification Approach for a Complex State-Based Fuel Cell Control System
Technical Paper
2011-01-2505
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
Recommended Content
Authors
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, https://doi.org/10.4271/2011-01-2505.Also In
References
- Abel, D. Petri-Netze für Ingenieure - Modellbildung und Analyse diskret gesteuerter Systeme Berlin Springer 1990
- Batista, R. SysML models as a basis for automated document generation Tag des SE München 2010
- Enzinger, M. Technology Programs - Multifunctional Fuel Cell Application Deutscher Luft- und Raumfahrtkongress Hamburg 2010
- European Commission European Aeronautics: A Vision for 2020 January 2001
- Frey, G. Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen Tagungsband GMA-Kongress 1998 Mess- und Automatisierungstechnik 1998
- Haskins, C. Forsberg, K. Kruger, M. Systems Engineering Handbook INCOSE 2007
- Harel, D. Kugler, H. The Rhapsody Semantic of Statecharts Department of Computer Science and Applied Mathematics / The Weizmann Institute of Science Israel 2008
- Liggesmeyer, P. Software Qualität - Testen, Analysieren und Verifizieren von Software Heidelberg Spektrum Akademischer Verlag 2009
- Mealy, G. H. A Method to Synthesizing Sequential Circuits Bell Systems Technical Journal 1955
- Netlab Petrinetz-Tool RWTH Aachen University http://www.irt.rwth-aachen.de 23 th May 2011
- Rational DOORS: A Requirements Management Tool for Systems and advanced IT Applications http://www- 01.ibm.com/software/awdtools/doors 23 th May 2011
- Rational Rhapsody: A visual Development Environment for Systems Engineers and Software Developers http://www-01.ibm.com/software/awdtools/rhapsody 23 th May 2011
- Rausch, A. Broy, M. Das V-Modell XT: Grundlagen, Erfahrungen und Werkzeuge Dpunkt Verlag 2010
- Trowitzsch, J. Quantitative Evaluation of UML Statemachines using Stochastic Petri Nets Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin, Dissertation 2007
- Vredenborg, E. Luedders, H. Thielecke, F. Methodik zur Auslegung und Simulation komplexer Brennstoffzellensysteme Deutscher Luft- und Raumfahrtkongress Hamburg 2010