The specification of synchronised actions

A. de Bunje, R.J. Bril

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

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 languageEnglish
Title of host publicationProceedings - Computer Systems and Software Engineering
Subtitle of host publication6th Annual European Computer Conference, CompEuro 1992
EditorsPatrick Dewilde, Joos Vandewalle
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages520-525
Number of pages6
ISBN (Print)0-8186-2760-3
DOIs
Publication statusPublished - 1 Jan 1992
Externally publishedYes
Event6th Annual European Computer Conference on Computer Systems and Software Engineering, CompEuro 1992 - The Hague, Netherlands
Duration: 4 May 19928 May 1992

Conference

Conference6th Annual European Computer Conference on Computer Systems and Software Engineering, CompEuro 1992
CountryNetherlands
CityThe Hague
Period4/05/928/05/92

Fingerprint Dive into the research topics of 'The specification of synchronised actions'. Together they form a unique fingerprint.

Cite this