A new component-based real-time system based on timed high-order(THO) π calculus

Aim: In our opinion, the real-time systems based on π calculus in Refs. 4 and 6 can not be accurately described because there are three shortcomings in these two references discussed by us in the introduction of this paper. The new component-based real-time system based on THO π calculus proposed by us can, we believe, overcome these three shortcomings and therefore accurately describe such a real-time system. The first two sections of the full paper explain in some detail our new component-based real-time system based on THO π calculus. The core of section 1 is that we propose the THO π calculus and provide the operational semantics of THO π calculus with durational actions and busy-waiting interaction mechanism. The core of section 2 consists of: (1) we propose a new weak-timed mutual-simulation relationship as an important tool for analyzing model equivalency conditions; (2) focusing on its hierarchy, we define the multi-resolution time constraints. Section 3 discusses the design of a certain navigation software and this discussion leads to the preliminary conclusion that the new real-time system based on THO π calculus is feasible for expressing and simplifying the dynamic time constraints within each component and among components.