Abstract
We describe the practical application of self-stabilization to a safety-critical system. The Ohio Coal Research Center (OCRC) at Ohio University has a fuel-cell laboratory that uses explosive and poisonous gases. The lab is located in and uses the ventilation system of a large campus building that houses offices, other labs, and classrooms. The OCRC fuel cell lab safety system seeks to protect lab and other building personnel in the event of a gas leak. We present the system and the use of self-stabilization to ensure that, in the presence of actual or potential hazards, the lab converges to as safe a state as possible. It is responds to environmental conditions such as gas leaks and is tolerant to faults that affect the system’s sensors and actuators.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cooper, M., DeSilva, C., Bayless, D.: Comparison of LSV/YSZ and LSV/GDC SOFC anode performance in coal syngas containing H2S. Journal of the Electrochemical Society 157(11), B1713–B1718 (2010)
Faria, D.: Verification and validation of a safety system for a fuel-cell research facility: a case study. Master’s thesis, Ohio University (2007)
Ghosh, S., Bejan, A.: A framework of safe stabilization. In: Huang, S.-T., Herman, T. (eds.) SSS 2003. LNCS, vol. 2704, pp. 129–140. Springer, Heidelberg (2003)
Leal, W., McCreery, M., Faria, D.: The OCRC fuel cell lab safety system: A self-stabilizing safety-critical system. Technical Report OSU-CISRC-5/11-TR17, Department of Computer Science and Engineering, The Ohio State University (2011)
Leal, W., Xiao, D., de Faria, D.C., Kremer, G., Switzer, S., McCreery, M.: Design of a safety monitoring and control system for a fuel cell laboratory. In: Proceedings of the 31st Clearwater Coal Conference, CCC (2006)
NASA. Fault tree handbook with aerospace applications (2002), http://www.hq.nasa.gov/office/codeq/doctree/fthb.pdf
Silva, C.D., Kaseman, B., Bayless, D.: Silver (Ag) as anode and cathode current collectors in high temperature planar solid oxide fuel cells. International Journal of Hydrogen Energy 36, 779–786 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leal, W., McCreery, M., Faria, D. (2011). The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System. In: Défago, X., Petit, F., Villain, V. (eds) Stabilization, Safety, and Security of Distributed Systems. SSS 2011. Lecture Notes in Computer Science, vol 6976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24550-3_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-24550-3_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24549-7
Online ISBN: 978-3-642-24550-3
eBook Packages: Computer ScienceComputer Science (R0)