Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Debugging and Verification of Multi-Agent Systems
Year:2009
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
12th International Conference on Computer Aided Systems Theory - EUROCAST 2009
960
Place
Las Palmas de Gran Canaria, Spain
Reviewers
Si
ISBN/ISSN
978-3-642-04771-8
10.1007/978-3-642-04772-5
Start Date
15/02/2009
End Date
20/02/2009
From page
263
To page
270
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (UPM)
Research Group, Departaments and Institutes related
  • 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 2019 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)