Ant Colony Optimization for deadlock detection in concurrent systems

Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani

Research output: Contribution to conferencePaper

25 Citations (Scopus)

Abstract

Ensuring deadlock freedom is one of the most critical requirements in the design and validation of concurrent systems. The biggest challenge toward the development of effective deadlock detection schemes remains the state-space explosion problem when model checking is used for proving the correctness of a system with respect to a desired behavior. In this paper we propose the use of the Ant Colony Optimization (ACO) to reduce the state explosion problem arising when finding deadlocks in complex networks described using Calculus of Communicating Systems (CCS). Moreover, ACO is used to provide minimal counterexamples. In fact, although one of the strongest advantages of model checking is the generation of counterexamples when verification fails, traditional model checkers may return very long counterexamples. We present an implementation of our technique and encouraging experimental results on several benchmarks. These results are then compared with other heuristic-based search strategies, retaining the advantages of our approach. © 2011 IEEE.
Original languageEnglish
DOIs
Publication statusPublished - 2011
Event35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 - , Germany
Duration: 1 Jan 2011 → …

Conference

Conference35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
CountryGermany
Period1/1/11 → …

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

Francesca, G., Santone, A., Vaglini, G., & Villani, M. L. (2011). Ant Colony Optimization for deadlock detection in concurrent systems. Paper presented at 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Germany. https://doi.org/10.1109/COMPSAC.2011.22