Erroneous State Detection in Piecewise FIFO System

Kumar, Sharath and Vishesh, H V and Singh, Sanjay (2012) Erroneous State Detection in Piecewise FIFO System. In: World Congress on Information and Communication Technologies, Oct. 30 -Nov. 2, Manipal, India.

[img] PDF
15.pdf - Published Version
Restricted to Registered users only

Download (641kB) | Request a copy
Official URL:


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Automata , Color , Computational modeling , Model checking , Protocols , Radiation detectors
Subjects: Engineering > MIT Manipal > Information and Communication Technology
Depositing User: MIT Library
Date Deposited: 02 Mar 2013 09:26
Last Modified: 02 Mar 2013 09:26

Actions (login required)

View Item View Item