We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The Quantitative Analysis of Approximate Correctness for Real-Time Systems.
- Authors
Yanfang Ma; Liang Chen; Haiyu Pan
- Abstract
In order to formalize the correctness of real-time systems, strong timed bisimulation in TCCS has been proposed to characterize the relation between implementation and specification. The usual action and time delay must be the same in strong timed bisimulation. However, in some real situations, many real-timed systems can not satisfy the exact match. In this paper, in order to characterize the approximate usual action and time delay, the strong timed bisimulation in TCCS is generalized to numerical version. Firstly, the definition of global timed bisimulation index of a binary relation is established to describe the relation between implementation and specification. Secondly, in order to quantify the approximate degree between implementation and specification, the global timed λ-bisimulation is defined. Finally, the congruence of the global timed λ-bisimulation is proven to guarantee the modular development and hierarchic design methods which are used in the real software development.
- Subjects
REAL-time computing; APPROXIMATION theory; GENERALIZATION; BISIMULATION; TIME delay systems
- Publication
International Journal of Performability Engineering, 2017, Vol 13, Issue 6, p886
- ISSN
0973-1318
- Publication type
Article
- DOI
10.23940/ijpe.17.06.p10.886896