Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) (2007)
Sedona, Arizona, USA
Mar. 21, 2007 to Mar. 23, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISADS.2007.74
Andrea Bondavalli , University of Florence, Viale Morgagni 65, I-50134, Firenze, Italy
Andrea Ceccarelli , University of Florence, Viale Morgagni 65, I-50134, Firenze, Italy
Lorenzo Falai , University of Florence, Viale Morgagni 65, I-50134, Firenze, Italy
Michele Vadursi , University of Naples ?Parthenope?, Via Medina, 40, I-80133, Napoli, Italy
NekoStat is a Java framework and tool developed for qualitative and quantitative evaluation of dependability attributes of distributed algorithms. In this paper NekoStat is analyzed along the lines of metrology. First the relevant metrological properties that a tool such as NekoStat should possess are introduced. The lack of a rigorous metrological characterization of the accuracy of collected measures is noticed as there is no estimation of how biased the collected data can be. To solve this a new component, called OffsetDetector, is introduced and described. OffsetDetector allows to estimate the uncertainty of collected data and enables NekoStat to be aware of the accuracy level of the local clocks during distributed executions. The collected time measurements can thus be distinguished depending on the synchronization quality at the instant they were collected. In this way the trustworthiness in the results is widely enhanced as shown through a case study illustrated in the paper.
L. Falai, A. Bondavalli, A. Ceccarelli and M. Vadursi, "Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems," Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07)(ISADS), Sedona, Arizona, USA, 2007, pp. 377-386.