Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude

  • Muhammad Fadlisyah
  • Peter Csaba Ölveczky
  • Erika Ábrahám
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7571)


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.


Physical Entity Continuous Dynamic Thermal Interaction Metabolic Heat Production World Championship 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ASHRAE Handbook: Fundamentals; SI Edition. American Society of Heating, Refrigerating and Air-Conditioning Engineers, Inc. (2005)Google Scholar
  2. 2.
    Bloomfield, L.A.: How things work: the physics of everyday life. Wiley, Hoboken (2006)Google Scholar
  3. 3.
    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)zbMATHGoogle Scholar
  4. 4.
    The Engineering ToolBox,
  5. 5.
    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)Google Scholar
  6. 6.
    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),
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Hensel, H.: Thermoreception and temperature regulation. Monogr. Physiol. Soc. 38 (1981)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    McPherson, M.: Subsurface Ventilation and Environmental Engineering. Chapman & Hall (1993)Google Scholar
  13. 13.
    Ö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)CrossRefGoogle Scholar
  14. 14.
    Parsons, K.: Human Thermal Environments: The effects of hot, moderate, and cold environments on human health, comfort and performance. Taylor & Francis, London (2003)Google Scholar
  15. 15.
    Plantadosi, C.: The Biology of Human Survival: Life and Death in Extreme Environments. Oxford University Press (2003)Google Scholar
  16. 16.
    Tipton, C.: ACSM’s Advanced Exercise Physiology. Lippincott Williams & Wilkins (2006)Google Scholar
  17. 17.
    Wellstead, P.E.: Introduction to physical system modelling. Academic Press (1979)Google Scholar
  18. 18.
    Winkeljohn, M.: Heat injuries forcing new technologies (2010), (accessed February 2, 2012)

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Muhammad Fadlisyah
    • 1
  • Peter Csaba Ölveczky
    • 1
  • Erika Ábrahám
    • 2
  1. 1.University of OsloNorway
  2. 2.RWTH Aachen UniversityGermany

Personalised recommendations