Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Debugging and Verification of Multi-Agent Systems
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Multi-agent systems are systems composed of multiple interacting autonomous agents forming complex systems. Verifying multiagent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. In this paper, we propose the use of the McErlang model checker as a testing tool, as it a¿ords precise control of the scheduling of agents, and provides convenient access to the internal states and actions of the agents. We illustrate the suitability of the approach by discussing our experiences in applying this veri¿cation technique to RoboCup teams. The experiments we conducted discovered a number of bugs in two such teams.
Internacional
Si
Nombre congreso
12th International Conference on Computer Aided Systems Theory - EUROCAST 2009
Tipo de participación
960
Lugar del congreso
Las Palmas de Gran Canaria, Spain
Revisores
Si
ISBN o ISSN
978-3-642-04771-8
DOI
10.1007/978-3-642-04772-5
Fecha inicio congreso
15/02/2009
Fecha fin congreso
20/02/2009
Desde la página
263
Hasta la página
270
Título de las actas
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)