A Compression App for Continuous Probability Distributions

• Autores: Michael Bungert, Holger Hermanns, Reza Pulungan
• Localización: Quantitative evaluation of systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / coord. por Francisco Javier Campos Laclaustra, Boudewijn R Haverkort, 2015, ISBN 9783319222639, págs. 113-124
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • This paper presents an Android app supporting the construction and compact representation of continuous probability distributions. Its intuitive drag-and-drop approach considerably eases an often delicate modelling step in model-based performance and dependability evaluation, stochastic model checking, as well in the quantitative study of system-level concurrency phenomena. To compress the size of the representations, the app connects to a web service that implements an efficient compression algorithm, which constitutes the core technological innovation behind the approach. The app enables interested users to perform rapid experiments with this technology. From a more general perspective, this approach might pioneer how web service and app technology can provide a convenient vehicle for promoting and evaluating computer aided verification innovations.