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.
Original language | English |
---|---|
Title of host publication | Proceedings - Computer Systems and Software Engineering |
Subtitle of host publication | 6th Annual European Computer Conference, CompEuro 1992 |
Editors | Patrick Dewilde, Joos Vandewalle |
Place of Publication | Piscataway |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 520-525 |
Number of pages | 6 |
ISBN (Print) | 0-8186-2760-3 |
DOIs | |
Publication status | Published - 1 Jan 1992 |
Externally published | Yes |
Event | 6th Annual European Computer Conference on Computer Systems and Software Engineering, CompEuro 1992 - The Hague, Netherlands Duration: 4 May 1992 → 8 May 1992 |
Conference
Conference | 6th Annual European Computer Conference on Computer Systems and Software Engineering, CompEuro 1992 |
---|---|
Country/Territory | Netherlands |
City | The Hague |
Period | 4/05/92 → 8/05/92 |