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

Fingerprint

Model checking
Network protocols

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems

Cite this

Sharath, K. A., Vishesh, H. V., & Singh, S. (2012). Erroneous state detection in piecewise FIFO system. In Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012 (pp. 841-845). [6409192] https://doi.org/10.1109/WICT.2012.6409192
Sharath, Kumar A. ; Vishesh, H. V. ; Singh, Sanjay. / Erroneous state detection in piecewise FIFO system. Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012. 2012. pp. 841-845
@inproceedings{6dc99067b4384cb2970ee839bfec8db0,
title = "Erroneous state detection in piecewise FIFO system",
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.",
author = "Sharath, {Kumar A.} and Vishesh, {H. V.} and Sanjay Singh",
year = "2012",
month = "12",
day = "1",
doi = "10.1109/WICT.2012.6409192",
language = "English",
isbn = "9781467348041",
pages = "841--845",
booktitle = "Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012",

}

Sharath, KA, Vishesh, HV & Singh, S 2012, Erroneous state detection in piecewise FIFO system. in Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012., 6409192, pp. 841-845, 2012 World Congress on Information and Communication Technologies, WICT 2012, Trivandrum, India, 30-10-12. https://doi.org/10.1109/WICT.2012.6409192

Erroneous state detection in piecewise FIFO system. / Sharath, Kumar A.; Vishesh, H. V.; Singh, Sanjay.

Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012. 2012. p. 841-845 6409192.

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

TY - GEN

T1 - Erroneous state detection in piecewise FIFO system

AU - Sharath, Kumar A.

AU - Vishesh, H. V.

AU - Singh, Sanjay

PY - 2012/12/1

Y1 - 2012/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84873336107&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84873336107&partnerID=8YFLogxK

U2 - 10.1109/WICT.2012.6409192

DO - 10.1109/WICT.2012.6409192

M3 - Conference contribution

SN - 9781467348041

SP - 841

EP - 845

BT - Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012

ER -

Sharath KA, Vishesh HV, Singh S. Erroneous state detection in piecewise FIFO system. In Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012. 2012. p. 841-845. 6409192 https://doi.org/10.1109/WICT.2012.6409192