Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes

Download Now Free registration required

Executive Summary

The execution of a reactive system amounts to the repetitions of executions of control flow cycles in the component processes of the system. The way in which cycle executions are combined is not arbitrary since cycles may depend on or exclude one another. The authors believe that the information of such dependencies is important to the design, understanding, and verification of reactive systems. In this paper, they formally define the concept of a cycle dependency, and propose several static analysis methods to discover such dependencies. They have implemented several strategies for computing cycle dependencies and compared their performance with realistic models of considerable size.

  • Format: PDF
  • Size: 518.54 KB