proceeding Papers Validation and evaluation of a software solution for fault tolerant distributed synchronization


This paper presents a case study on the combined use of different tools and techniques for the validation and evaluation, from the early stages of the design, of a fault tolerant software mechanism named distributed synchronization The mechanism has been specified using UML state charts and sequence diagrams. A number of Stochastic Well-formed Nets (SWN) models have been derived from the specifications: they have been composed using the tool algebra,and the resulting model has been model-checked using the PROD tool for temporal logic properties, thanks to a GreatSPN-to-PROD translator. The quantitative analysis has been performed using the SWN solvers of the Great-SPN tool.

Paper Details


P. Ballarini,  S. Bernardi,  S. Donatelli