An interpreter for the rtcc calculus

摘要

The purpose of a computational model is to create a non-physical representation of a system in order to prove properties of the system and to run simulations. The rtcc calculus is a formalism developed for modeling real-time and reactive systems. This paper presents the design and implementation details of an interpreter for this calculus. This interpreter was created to better visualize the behavior of systems, to make possible the viewing of the results of rtcc models in real-time, and to allow proving properties in those models.