A modular approach for the specification and validation of the production flexible systems command

Author

Ahmed, Saahira Banu ; Moalla, M. ; Esteban, P. ; Courvoisier, M.

Author_Institution

Ecole Nat. d´´Ingenieurs de Tunis, Tunisia

fYear

1993

fDate

17-20 Oct 1993

Firstpage

30

Abstract

The authors suggest a specification and validation methodology of the production automated systems command. This method is backed by a hierarchical structuring of the command, which is expressed by “entities” provided with “functions” and intercommunicating by definite interfaces. The entity specification approach is based on the Ward and Mellor methodology of the real time structured analysis and the description of command functions within each entity is carried out by means of an object Petri nets subclass with a certain number of multilevel analysis possibilities

Keywords

Petri nets; flexible manufacturing systems; formal specification; program verification; entity specification; hierarchical structuring; modular approach; multilevel analysis possibilities; object Petri nets subclass; production flexible systems command; real-time structured analysis; Concrete; Extrapolation; Flexible manufacturing systems; Information analysis; Performance analysis; Petri nets; Production systems; Real time systems; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on

Conference_Location

Le Touquet

Print_ISBN

0-7803-0911-1

Type

conf

DOI

10.1109/ICSMC.1993.384715

Filename

384715