Title of article :
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Author/Authors :
Muhammad Fadlisyah، نويسنده , , Erika A braham، نويسنده , , Daniela Lepri، نويسنده , , Peter Csaba Olveczky، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Pages :
19
From page :
82
To page :
100
Abstract :
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.
Journal title :
Electronic Proceedings in Theoretical Computer Science
Serial Year :
2010
Journal title :
Electronic Proceedings in Theoretical Computer Science
Record number :
679974
Link To Document :
بازگشت