A Java-based formal development environment for factory communication systems

Author

Demartini, Claudio ; Sisto, Riccardo

Author_Institution

Dipt. Autom. e Inf., Politecnico di Torino, Italy

fYear

1998

fDate

23-26 Mar 1998

Firstpage

273

Lastpage

281

Abstract

Reports on an ongoing project aimed at defining a development environment for factory communication systems which combines the OOA&D (object-oriented analysis and design) and OMT (Object Modeling Technique) reference methodologies with the use of formal methods for concurrent and distributed systems, and uses the Java language in various development phases, from specification to implementation. The proposed approach is exemplified by showing the modeling of a typical manufacturing control system: a quality control cell composed of a measurement unit and three handling robots

Keywords

factory automation; formal specification; industrial robots; measurement systems; object-oriented languages; object-oriented methods; project support environments; quality control; telecommunication computing; Java-based formal development environment; Object Modeling Technique; concurrent systems; development phases; distributed systems; factory communication systems; formal methods; handling robots; implementation; manufacturing control system; measurement unit; object-oriented analysis; object-oriented design; quality control cell; reference methodologies; specification; Communication system control; Control system synthesis; Intelligent actuators; Intelligent sensors; Java; Object oriented modeling; Production facilities; Quality control; Safety; Virtual manufacturing;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on

Conference_Location

Fukushima

Print_ISBN

0-8186-8350-3

Type

conf

DOI

10.1109/CSD.1998.657558

Filename

657558