An integrated method for effective behaviour analysis of distributed systems
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 309-320
- https://doi.org/10.1109/icse.1994.296793
Abstract
Behavioral analysis is a valuable aid for the design and maintenance of well-behaved distributed systems. Dataflow and reachability analyses are two orthogonal, but complementary, behavioral analysis techniques. Individually, each of these techniques may be inadequate for the analysis of large-scale distributed systems. On the one hand, dataflow analysis algorithms, while tractable, may not be sufficiently accurate to provide meaningful detection of errors. On the other hand, reachability analysis, while providing exhaustive analysis, may be computationally too expensive for complex systems. In this paper, we present a method which integrates dataflow and reachability analysis techniques to provide a flexible and effective means for analysing distributed systems at the preliminary and final design stages respectively. We also describe some effective measures taken to improve the adequacy of the individual analysis techniques using the concepts of action dependency and context constraints. A prototype supporting the method has been built, and its performance is described in this paper. A realistic example of a distributed track control system is used as a case study.<>Keywords
This publication has 20 references indexed in Scilit:
- The System Architect's Assistant for design and construction of distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compositional reachability analysis using process algebraPublished by Association for Computing Machinery (ACM) ,1991
- A constructive approach to the design of distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Finite Reresentations of CCS and TCSP Programs by Automata and Petri NetsPublished by Springer Nature ,1989
- On visual formalismsCommunications of the ACM, 1988
- Verifying a protocol using relativized bisimulationLecture Notes in Computer Science, 1987
- On the analysis of cooperation and antagonism in networks of communicating processesPublished by Association for Computing Machinery (ACM) ,1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Complexity of analyzing the synchronization structure of concurrent programsActa Informatica, 1983
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980