Erroneous state detection in piecewise FIFO system

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

doi:10.1109/WICT.2012.6409192

Erroneous state detection in piecewise FIFO system

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of the 2012 World Congress on Information and Communication Technologies, WICT 2012
Pages	841-845
Number of pages	5
DOIs	https://doi.org/10.1109/WICT.2012.6409192
Publication status	Published - 01-12-2012
Event	2012 World Congress on Information and Communication Technologies, WICT 2012 - Trivandrum, India Duration: 30-10-2012 → 02-11-2012

Conference

Conference	2012 World Congress on Information and Communication Technologies, WICT 2012
Country/Territory	India
City	Trivandrum
Period	30-10-12 → 02-11-12

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Information Systems

Access to Document

10.1109/WICT.2012.6409192

Cite this

@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 = dec,

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",

note = "2012 World Congress on Information and Communication Technologies, WICT 2012 ; Conference date: 30-10-2012 Through 02-11-2012",

}

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

AN - SCOPUS:84873336107

SN - 9781467348041

SP - 841

EP - 845

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

T2 - 2012 World Congress on Information and Communication Technologies, WICT 2012

Y2 - 30 October 2012 through 2 November 2012

ER -

Erroneous state detection in piecewise FIFO system

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this