| Paper | Title | Page |
|---|---|---|
| THPD11 | Facility Monitoring System using Storage Area Network for VEC and SCC | 157 |
|
||
| The facility monitoring system of cyclotron operational parameters at VECC is developed and commissioned recently. Storage Area Network(SAN) is used to isolate the control LAN and office LAN which ensures secured access of the control systems from outside world. EPICS gateway service and modified channel access save/restore tool have been used to integrate EPICS based control system of VEC and SCC with office network. This paper describes the implementation details and operational experiences of the overall facility monitoring system. | ||
| THPD48 | Reachability in a Finite Distributed System Protocol Model by Backward Traversal | 230 |
|
||
|
Distributed system protocol verification has the intrinsic problem in mechanizing the reasoning pattern and the resultant state space exploration. The former arises in case of theorem proving approach due to the ingenuity involved in constructing a proof and the latter is encountered in model checking approach while carrying out composition of a large number of processes that constitute a typical distributed system. A combined approach of the above two methods has been devised that eventually considers the reachability in finite distributed system protocol model. It computes the reachability in backward traversal on the fly. Due to the complications in implementation, the Protocol Verification algorithm[1][2] is modified to reduce the number of states explored and hence the complexity of the algorithm. In this paper a C++ implementation of the on-the-fly backward traversal algorithm is reported.
[1] "Distributed System Protocol Verification: A Tableau Based Model Checking Approach", T. Samanta and D. Sarkar, VECC, India. ICCCT, 2011 [2] Distributed Algorithms, N. A. Lynch, 1948 |
||
|
Poster THPD48 [1.161 MB] | |