A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Muhammad Fadlisyah
(University of Oslo)
Erika Ábrahám
(RWTH Aachen University)
Daniela Lepri
(University of Oslo)
Peter Csaba Ölveczky
(University of Oslo)

This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer problems in thermal systems can be modeled in Real-Time Maude; (iii) giving the implementation in Real-Time Maude of a basic numerical technique for executing continuous behaviors in object-oriented hybrid systems; and (iv) illustrating these techniques with a set of incremental case studies using realistic physical parameters, with examples of simulation and model checking analyses.

In Peter Csaba Ölveczky: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), Longyearbyen, April 6-9, 2010, Electronic Proceedings in Theoretical Computer Science 36, pp. 82–100.
Published: 21st September 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.36.5 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org