Computer networks (3rd ed.)
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Specification of mobile code system using graph grammars
Fourth International Conference on Formal methods for open object-based distributed systems IV
Process algebra for performance evaluation
Theoretical Computer Science
Numerical Evaluation of Stochastic Automata Networks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Impact of a Failure Detection Mechanism on the Performance of Consensus
PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
A Rigorous Approach to Fault-Tolerant Programming
IEEE Transactions on Software Engineering
Verifying Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
| Hi-index | 0.00 |
In unreliable environments, e.g. wireless networks, often there are messages lost, connection and process crashes, among other undesirable fault occurrences. Mechanisms to enhance the dependability of these systems can be employed, but with a performance cost. Analytical approaches are useful to predict performance and dependability values, guiding the system developer to adjust bounds for specific requirements in complex systems. In this paper we use non-functional analysis of Stochastic Object-Based Graph Grammars (SOBGG) models considering classical fault behaviors in distributed systems, allowing the developer to predict performance and dependability values for high performance and resilient systems. The specific contributions of this paper are: (i) revisit the notion of fault representation to allow non-functional analysis, more specifically, steady-state analysis; (ii) discuss the specification of rates associated to SOBGG rules, describing an adequate approach to distributed systems; (iii) show the suitability of the proposed techniques through their application to a case study.