Hierarchically Modeling the Component-based Real-time System with Duration Calculus
This paper proposes a new method for hierarchically modeling the component-based real-time system using duration calculus (DC), a real time interval temporal logic. We first define the component using DC, and then describe the component composition and the construction procedure of the real-time system. The most advantage of the proposed approach is that it can formally describe the time characteristic of the component-based system in a hierarchical manner, which can significantly reduce the complexity of the system analysis