Title :
Formal methods for the specification and verification of distributed systems
Author :
Fialho, S.V. ; Le?¢o, J. L S ; Pedroza, A.C.P.
Author_Institution :
Programa de Engenharia Eletrica, COPP, Univ. federal do Rio De Janeiro, Brazil
Abstract :
A methodology for specifying and verifying distributed systems is presented. The proposed approach, relying on heuristic search techniques for the verification of specifications written in the CRIS language, has been implemented in an automated verification tool prototype. The tool features deal with the acquisition of heuristic information on the specification objects for driving the partial reachability graph generation, and they make it possible to observe the systems internal behavior. First results on the applicability of this approach to a flexible assembly cell are presented and discussed
Keywords :
CAD/CAM; factory automation; flexible manufacturing systems; formal specification; heuristic programming; search problems; CRIS language; distributed systems; flexible assembly cell; heuristic information; heuristic search techniques; partial reachability graph generation; specification; systems internal behavior; verification; Assembly systems; Automata; Explosions; Formal specifications; Manufacturing automation; Manufacturing industries; Prototypes; Search methods; Specification languages; State-space methods;
Conference_Titel :
Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on
Print_ISBN :
0-7803-0593-0
DOI :
10.1109/ISCAS.1992.230078
