Erroneous state detection in piecewise FIFO system

Kumar A. Sharath, H. V. Vishesh, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Distributed systems normally use concurrent systems which communicate via unbounded FIFO channels. Despite well-known difficulties in analyzing such systems, they are of significant interest as they can describe a wide range of communication protocols. In this paper, we have studied the problem of computing the set of reachable states of a FIFO system composed of piecewise components. This problem is closely related to computing the set of all possible channel contents. For each control location which can be realized by the sequence diagrams produced by the SPIN. We present a model checking approach to find set of reachable states of FIFO channels via different paths in which some of the paths end in an erroneous state.

Original languageEnglish
Title of host publicationProceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012
Pages841-845
Number of pages5
DOIs
Publication statusPublished - 01-12-2012
Event2012 World Congress on Information and Communication Technologies, WICT 2012 - Trivandrum, India
Duration: 30-10-201202-11-2012

Conference

Conference2012 World Congress on Information and Communication Technologies, WICT 2012
CountryIndia
CityTrivandrum
Period30-10-1202-11-12

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems

Fingerprint Dive into the research topics of 'Erroneous state detection in piecewise FIFO system'. Together they form a unique fingerprint.

Cite this