Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Quantified Abstractions of Distributed Systems
Año:2013
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
When reasoning about distributed systems, it is essential to have information about the different kinds of nodes which compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present a static-analysis-based approach which is able to provide information about the questions above. In order to cope with an unbounded number of nodes and an unbounded number of calls among them, the analysis performs an abstraction of the system producing a graph whose nodes may represent (infinitely) many concrete nodes and arcs represent any number of (infinitely) many calls among nodes. The crux of our approach is that the abstraction is enriched with upper bounds inferred by a resource analysis which limit the number of concrete instances which the nodes and arcs represent. The combined information provided by our approach has interesting applications such as debugging, optimizing and dimensioning distributed systems.
Internacional
Si
Nombre congreso
10th International Conference on integrated Formal Methods (iFM'13)
Tipo de participación
960
Lugar del congreso
Turku (Finlandia)
Revisores
Si
ISBN o ISSN
978-3-642-38612-1
DOI
http://dx.doi.org/10.1007/978-3-642-38613-8_20
Fecha inicio congreso
10/06/2013
Fecha fin congreso
14/06/2013
Desde la página
285
Hasta la página
300
Título de las actas
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Elvira Albert (Universidad Complutense de Madrid)
  • Autor: Jesús Correas (Universidad Complutense de Madrid)
  • Autor: Alvaro German Puebla Sanchez (UPM)
  • Autor: Guillermo Roman Diez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: COSTA (Verification, Analysis and Transformation)
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)