Title :
The specification of synchronised actions
Author :
de Bunje, A. ; Bril, R.J.
Author_Institution :
Philips Res. Lab., Eindhoven, Netherlands
Abstract :
An attempt was made to find out whether an object-oriented method combined with the language COLD-1 could improve the organization of software development. For this purpose, a case is investigated within the software package implementing the control system of an MCM (modular chip mounting) placement system. After a short introduction to the wide-spectrum language COLD-1, followed by a survey of the MCM machine, a part of the control system is selected to illustrate the specification of synchronization of actions for the description of the machine in operation. Part of the different constituents of the machine and their control layers are formally specified in COLD-1. The synchronization and timing aspects are specified formally, while interpretation issues are indicated. The relevant fragment of the overall control system is discussed.<>
Keywords :
formal specification; manufacturing computer control; object-oriented languages; object-oriented methods; object-oriented programming; COLD-1; MCM machine; control system; modular chip mounting; object-oriented language; object-oriented method; object-oriented programming; software development; software package; specification; synchronised actions; timing; wide-spectrum language; Assembly; Control systems; Embedded system; Formal specifications; Industrial electronics; Laboratories; Programming; Software packages; Software quality; Timing;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218429
