• Home
  • Search
  • An integrated method for effective behaviour analysis of distributed systems
  • Cite Icon22
  • https://doi.org/10.5555/257734.257792Copy DOI Icon

An integrated method for effective behaviour analysis of distributed systems

  • May 21, 1994
  • S W Cheung +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
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. >

Similar Papers
  • Research Article
  • Citations1

Oculometric biomarkers of visuomotor deficits in clinically asymptomatic patients with systemic lupus erythematosus undergoing long-term hydroxychloroquine treatment.

  • Jul 22, 2024
  • Frontiers in ophthalmology
  • Andrew R Berneshawi +8
  • Research Article
  • Citations79

Inherent safety index module (ISIM) to assess inherent safety level during preliminary design stage

  • Dec 21, 2007
  • Process Safety and Environmental Protection
  • Chan T Leong +1
  • Research Article
  • Citations15

Preliminary design on high-end workstation cooling system using loop heat pipes

  • Mar 05, 2020
  • Thermal Science and Engineering Progress
  • Jeehoon Choi +1
  • Research Article
  • Citations76

A novel approach for APT attack detection based on combined deep learning model

  • Apr 11, 2021
  • Neural Computing and Applications
  • Cho Do Xuan +1
  • Research Article
  • Citations53

Qualitative Assessment for Inherently Safer Design (QAISD) at preliminary design stage

  • Jul 18, 2009
  • Journal of Loss Prevention in the Process Industries
  • Risza Rusli +1
  • Conference Article
  • Citations13

Creation of Aerodynamic Database for the X-31

  • Jan 04, 2010
  • 48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition
  • Maximilian Tomac +1
  • Research Article
  • Citations2

Parametric cost estimation models of civil aircraft for the preliminary aircraft design phase

  • May 20, 2022
  • The Aeronautical Journal
  • O Al-Shamma +1
  • Research Article
  • Citations1

A Method of detecting web attacks using behavioral profile analysis technique

  • Jul 25, 2020
  • International Journal of Emerging Trends in Engineering Research
  • Do Minh Tuan
  • Research Article
  • Citations5

Applied parametrized and automated airframe modeling methods in the preliminary design phase

  • Dec 01, 2015
  • International Journal of Modeling, Simulation, and Scientific Computing
  • Dominik B Schwinn
  • Research Article
  • Citations6

On the preliminary shape design of axisymmetric twin-web turbine discs considering the burst speed constraint

  • Sep 21, 2021
  • Engineering Optimization
  • Bo Wang +4
  • Conference Article
  • Citations1

Design of Self-Organizing Systems Using Multi-Agent Reinforcement Learning and the Compromise Decision Support Problem Construct

  • Aug 20, 2023
  • Mingfei Jiang +4
  • Research Article
  • Citations127

Fuzzy Ratings and Utility Analysis in Preliminary Design Evaluation of Multiple Attributes

  • Dec 01, 1992
  • Journal of Mechanical Design
  • D L Thurston +1
  • Conference Article
  • Citations16

Measuring dependency constraint satisfaction in software release planning using dissimilarity of fuzzy graphs

  • Jan 01, 2005
  • An Ngo-The +1
  • Research Article
  • Citations28

Numerical Evaluation of Rudder Performance Behind a Propeller in Bollard Pull Condition

  • Jun 01, 2018
  • Journal of Marine Science and Application
  • Diego Villa +5
  • PDF
  • Research Article
  • Citations12

An Integrated Design and Optimization Approach for Radial Inflow Turbines—Part II: Multidisciplinary Optimization Design

  • Oct 23, 2018
  • Applied Sciences
  • Qinghua Deng +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.