| Paper | Title | Other Keywords | Page |
|---|---|---|---|
| WEPD16 | Development of Data Acquisition Software for VME Based System | GUI | 35 |
|
|||
|
A Data Acquisition system for VME has been developed for use in accelerator based experiments. It is in use at BARC-TIFR laboratory. The development was motivated by the growing demand for higher throughput in view of the increasing size of experiments. The VME based data acquisition system provides a powerful alternative to CAMAC standards on account of higher readout speeds (100 ns/word) resulting in reduced dead time. Further, high density VME modules are capable of providing up to 640 channels in a single VME crate with 21 slots. The software system LAMPS[1], earlier developed for CAMAC based system and used extensively in our laboratory and elsewhere has been modified for the present VME based system. The system makes use of the VME library to implement Chain Block Transfer Readout (CBLT) and gives the option of both Polling and Interrupt mode to acquire data. Practical throughput of ~250 ns/word in zero-suppressed mode have been achieved. The developed software currently supports CAEN[2] V785 ADC, V775 TDC and V862 QDC and V830 Scalar Modules. The design, development and architecture of this DAQ system will be discussed.
[1] http://www.tifr.res.in/~pell/lamps.html [2] http://caen.it/ |
|||
| THCA06 | Status of the Ultra Fast Tomography Experiments Control at ANKA | controls, synchrotron, optics, monitoring | 103 |
|
|||
| X-ray imaging permits spatially resolved visualization of the 2D and 3D structure in materials and organisms which is crucial for the understanding of their properties. Additional resolution in the time domain gives insight in the temporal structure evolution and thus access to dynamics of processes allowing to understand functionality of devices and organisms and to optimize technological processes. Such time resolved dynamic analyses ofμsize structures became now possible by the new ultrafast tomography at the TopoTomo beamline of the synchrotron light source ANKA. At TopoTomo the whole experimental workflow has been significant improved in order to decrease the total duration time of a tomography experiment in a range of minutes. To aim the goal of a Tango based control system for ultra fast tomography with a data throughput of several 100 MB/s, detectors and computing infrastructure have been optimized. Multi GPU based computing allows a high speed data processing by using a special reconstruction scheme. Furthermore data management infrastructure will allow a life cycle management of data sets accumulating to several TByte/day. | |||
|
Slides THCA06 [1.183 MB] | ||
| 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] | ||