Issue No. 04 - April (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.54290
<p>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.</p>
real-time distributed systems; static analysis; reasoning; temporal behaviors; programs; maximal parallelism model; timing properties; parallel actions; deadlocks; livelocks; terminations; temporal errors; failures; CSP programs; distributed processing; parallel programming; programming languages; real-time systems; software engineering.
R. Shyamasundar and L. Liu, "Static Analysis of Real-Time Distributed Systems," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 373-388, 1990.