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

Volume

2

fYear

1992

Firstpage

891

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on

Print_ISBN

0-7803-0593-0

Type

conf

DOI

10.1109/ISCAS.1992.230078

Filename

230078