DocumentCode
2198869
Title
Analysis tool for parallel systems
Author
Saiz, O.J. ; Tyrrell, A.M.
Author_Institution
Dept. of Electron., York Univ., UK
fYear
1993
fDate
27-29 Jan 1993
Firstpage
499
Lastpage
505
Abstract
This paper describes a system for the creation of the traces of programs consisting of sets of parallel processes that communicate via message passing. The system uses a communicating sequential process (CSP) model to represent the program from which the traces are created. The system is based around the X-windows environment. The generated trace set is useful as a static testing tool for the detection of faults within a design, such as deadlocks or incorrect communication structures
Keywords
communicating sequential processes; computer aided analysis; message passing; parallel programming; user interfaces; X-windows environment; analysis tool; communicating sequential process; deadlocks; design; fault detection; incorrect communication structures; message passing; parallel processes; parallel systems; program traces; static testing tool; Communication system control; Computer architecture; Control systems; Design methodology; Fault detection; Logic design; Message passing; System recovery; System testing; Throughput;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location
Gran Canaria
Print_ISBN
0-8186-3610-6
Type
conf
DOI
10.1109/EMPDP.1993.336371
Filename
336371
Link To Document