Static analysis of real-time distributed systems

Liu, L. Y. ; Shyamasundar, R. K. (1990) Static analysis of real-time distributed systems IEEE Transactions on Software Engineering, 16 (4). 373 - 388. ISSN 0098-5589

Full text not available from this repository.

Official URL:

Related URL:


A static analysis for reasoning about the temporal behaviors of programs in real-time distributed programming languages is proposed. The analysis is based on the action set semantics using the pure maximal parallelism model. It is shown how to specify and verify various timing properties of real-time programs. The approach provides only an approximate timing behavior, because the state information is ignored. However, many interesting properties such as parallel actions, deadlocks, livelocks, terminations, temporal errors, and failures, can be identified. Furthermore, the approach is compositional and thus makes it possible to reason about the timing properties incrementally. The method not only leads to efficient algorithms for the static analysis of CSP programs but also applies to many other languages.

Item Type:Article
Source:Copyright of this article belongs to IEEE.
ID Code:56570
Deposited On:24 Aug 2011 10:57
Last Modified:24 Aug 2011 10:57

Repository Staff Only: item control page