ACM Transactions on Computer Systems (TOCS)
Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Performance models of multiprocessor systems
Performance models of multiprocessor systems
A Design Approach for Self-Diagnosis of Fault-Tolerant Clock Synchronization
IEEE Transactions on Computers
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Concepts for Distributed Systems Design
Concepts for Distributed Systems Design
International Workshop on Timed Petri Nets
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Fault-tolerant clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
On the possibility and impossibility of achieving clock synchronization
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Self-stabilization of fault-tolerant clock synchronization
Self-stabilization of fault-tolerant clock synchronization
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"
IEEE Transactions on Computers
A brief history of NTP time: memoirs of an Internet timekeeper
ACM SIGCOMM Computer Communication Review
Hi-index | 14.98 |
A model for analyzing a FCS (fault-tolerant clock synchronization) system of the type supported by a statistical self-diagnosis is described. Once a self-diagnosis scheme is integrated into an FCS design, the problem of controlling and measuring the system's self-stability arises. A stochastic Petri net (SPN) model is constructed to derive the self-stability measures of such FCS systems. An example is given to demonstrate the entire modeling and analyzing procedure. The mapping from SPN model to Markov model shown in an example can be automated by using an SPN software package. The results show that the SPN model is an excellent tool for obtaining self-stability measures and that several important system features, such as synchronization and parallelism, can be modeled using the SPN method in a much clearer manner than they can be modeled using other available tools.