Title :
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
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;
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
DOI :
10.1109/CSD.1998.657558
