Abstract
In this paper we use HI-Maude to model and analyze the human thermoregulatory system and the effect of extreme heat exposure on the human body. This work is motivated by the 2010 Sauna World Championships, which ended in a tragedy when the last two finalists were severely burnt in surprisingly short time (one of them died the next day). HI-Maude is a recent rewriting-logic-based formal modeling language and analysis tool for complex hybrid systems whose components influence each others’ continuous dynamics. One distinguishing feature of HI-Maude is that the user only needs to describe the continuous dynamics of single components and interactions, instead of having to explicitly define the continuous dynamics of the entire system. HI-Maude analyses are based on numerical approximations of the system’s continuous behaviors. Our detailed models of human thermoregulation and the sauna used in the world championships allow us to use HI-Maude to formally analyze how long the human body can survive when experiencing extreme conditions, as well as analyzing possible explanations for the still unsolved tragedy at the 2010 Sauna World Championships.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ASHRAE Handbook: Fundamentals; SI Edition. American Society of Heating, Refrigerating and Air-Conditioning Engineers, Inc. (2005)
Bloomfield, L.A.: How things work: the physics of everyday life. Wiley, Hoboken (2006)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
The Engineering ToolBox, http://www.engineeringtoolbox.com/
Fadlisyah, M., Ábrahám, E., Lepri, D., Ölveczky, P.C.: A rewriting-logic-based technique for modeling thermal systems. In: Proc. RTRTS 2010. Electronic Proceedings in Theoretical Computer Science, vol. 36 (2010)
Fadlisyah, M., Ölveczky, P.C., Ábrahám, E.: Formal modeling and analysis of extreme heat exposure to the human body in HI-Maude: A case study inspired by the tragedy at the 2010 Sauna World Championships. Tech. rep., Dept. of Informatics, Univ. of Oslo (2011), http://heim.ifi.uio.no/mohamf/HI-Maude/techreport-casestudy.pdf
Fadlisyah, M., Ölveczky, P.C., Ábrahám, E.: Formal modeling and analysis of hybrid systems in rewriting logic using higher order numerical methods and discrete-event detection. In: Proc. CSSE 2011. IEEE (2011)
Fadlisyah, M., Ölveczky, P.C., Ábrahám, E.: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 415–430. Springer, Heidelberg (2011)
Gagge, A., Stolwijk, J., Nishi, Y.: An effective temperature scale based on a simple model of human physiological regulatory response. ASHRAE Trans. 77(1), 247–262 (1971)
Hensel, H.: Thermoreception and temperature regulation. Monogr. Physiol. Soc. 38 (1981)
Hwang, C.L., Konz, S.A.: Engineering models of the human thermoregulatory system-a review. IEEE Transactions on Biomedical Engineering BME-24(4), 309–325 (1977)
McPherson, M.: Subsurface Ventilation and Environmental Engineering. Chapman & Hall (1993)
Ölveczky, P.C., Meseguer, J.: The Real-Time Maude Tool. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 332–336. Springer, Heidelberg (2008)
Parsons, K.: Human Thermal Environments: The effects of hot, moderate, and cold environments on human health, comfort and performance. Taylor & Francis, London (2003)
Plantadosi, C.: The Biology of Human Survival: Life and Death in Extreme Environments. Oxford University Press (2003)
Tipton, C.: ACSM’s Advanced Exercise Physiology. Lippincott Williams & Wilkins (2006)
Wellstead, P.E.: Introduction to physical system modelling. Academic Press (1979)
Winkeljohn, M.: Heat injuries forcing new technologies (2010), http://sports.espn.go.com/ncaa/recruiting/football/news/story?id=4372652 (accessed February 2, 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fadlisyah, M., Ölveczky, P.C., Ábrahám, E. (2012). Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. In: Durán, F. (eds) Rewriting Logic and Its Applications. WRLA 2012. Lecture Notes in Computer Science, vol 7571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34005-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-34005-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34004-8
Online ISBN: 978-3-642-34005-5
eBook Packages: Computer ScienceComputer Science (R0)