Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Static Partial Order Reduction for Probabilistic Concurrent Systems
Año:2012
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Sound criteria for partial order reduction for probabilistic concurrent systems have been presented in the literature. Their realization relies on a depth-first search-based approach for generating the reduced model. The drawback of this dynamic approach is that it can hardly be combined with other techniques to tackle the state explosion problem, e.g., symbolic probabilistic model checking with multi-terminal variants of binary decision diagrams. Following the approach presented by Kurshan et al. for non-probabilistic systems, we study partial order reduction techniques for probabilistic concurrent systems that can be realized by a static analysis. The idea is to inject the reduction criteria into the control flow graphs of the processes of the system to be analyzed. We provide the theoretical foundations of static partial order reduction for probabilistic concurrent systems and present algorithms to realize them. Finally, we report on some experimental results.
Internacional
Si
Nombre congreso
9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012
Tipo de participación
960
Lugar del congreso
London, United Kingdom
Revisores
Si
ISBN o ISSN
978-0-7695-4781-7
DOI
Fecha inicio congreso
17/09/2012
Fecha fin congreso
20/09/2012
Desde la página
1
Hasta la página
10
Título de las actas
Proceeding of the Ninth International Conference on the Quantitative Evaluation of SysTems
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Alvaro Fernandez Diaz (UPM)
  • Autor: Christel Baier (Technische Universität Dresden)
  • Autor: Clara Benac Earle (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)